皮埃特罗·费拉拉 面向对象编程语言堆和值分析的通用框架。 （英语） Zbl 1343.68040号 西奥。计算。科学。 631, 43-72 (2016). 审核人：米雷尔·科斯基（克雷奥瓦） MSC公司：68甲15 68甲19 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Ferrara}，Theor。计算。科学。631、43-72（2016年；Zbl 1343.68040） 全文： 内政部
Domagoj Babić;拜伦·库克;胡亚伦·J·。;茨沃尼米尔·拉卡马里奇 证明非线性命令序列的终止。 （英语） Zbl 1298.68164号 正式Asp。计算。 25，第3期，389-403（2013）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人，《形式语法》。计算。25，第3号，389--403（2013；Zbl 1298.68164） 全文： 内政部
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 （英语） Zbl 1284.68171号 形式方法系统。设计。 41，第1期，66-82（2012）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，《形式方法系统》。设计。41，第1号，66--82（2012；Zbl 1284.68171） 全文： 内政部 链接
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 （英语） Zbl 1262.03051号 Inf.计算。 211, 106-137 (2012). 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：03B70号 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人，《信息计算》。211、106-137（2012；Zbl 1262.03051） 全文： 内政部
马吕斯·博兹加;拉杜·奥西夫;斯旺·佩拉诺 定量分离逻辑和带有列表的程序。 （英语） Zbl 1207.03038号 J.汽车。推理 45，第2期，131-156（2010）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 03B25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人，J.Autom。推理45，No.2，131--156（2010；Zbl 1207.03038） 全文： 内政部 哈尔
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 （英语） Zbl 1157.03010号 卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，323-338（2008）。MSC公司：03B70号 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人，Lect。注释计算。科学。5213、323--338（2008；Zbl 1157.03010） 全文： 内政部 哈尔