托马斯·莱坦；雷吉斯·詹纳斯，Yann；皮埃尔·奇夫利埃；纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 （英语） Zbl 1458.68119号 正式Asp。计算。 第1127-150号第33页（2021）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人，正式Asp。计算。33，编号1，127--150（2021；Zbl 1458.68119） 全文： 内政部
迈克尔·克里斯滕森；约瑟夫·麦克马汉；劳顿·尼科尔斯；贾里德·罗埃什；蒂莫西·舍伍德；本·哈德科夫 通过完整性类型和经验证的组件实现安全功能系统。 （英语） Zbl 1477.68030号 西奥。计算。科学。 851, 39-61 (2021).MSC公司：2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人，Theor。计算。科学。851，39-61（2021；Zbl 1477.68030） 全文： 内政部
迈克尔·卢滕伯格；菲利普·梅耶（Philipp J.Meyer）。；所罗门·西克特 通过奇偶博弈从LTL规范对反应系统进行实际综合。 （英语） Zbl 1435.68200号 学报信息。 57，编号1-2，3-36（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人，《信息学报》57，第1--2、3--36期（2020年；Zbl 1435.68200） 全文： 内政部 arXiv公司
塞萨尔·桑切斯；杰拉尔多·施奈德；沃尔夫冈·阿伦特；埃齐奥·巴托西；多梅尼科·比安库利；克里斯蒂安·科伦坡；伊利耶斯·法尔科内；阿德里安·弗兰卡兰扎；Sr Djan Krstić；Lourenço，Joáo M。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯 高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号 形式方法系统。设计。 54，第3号，279-335（2019）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268） 全文： 内政部 arXiv公司
何塞·梅塞盖尔；斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68054号 正式Asp。计算。 29，第3期，423-452（2017）.MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，正式Asp。计算。29，第3号，423--452（2017；Zbl 1362.68054） 全文： 内政部
利奥·弗雷塔斯；保罗·沃森 在联合云上规范工作流分区：多级安全性和成本。 （英语） Zbl 1452.68120号 国际期刊计算。数学。 91，第5期，881-906（2014）.MSC公司：60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}和\textit{P.Watson}，国际计算机杂志。数学。91，第5号，881--906（2014；Zbl 1452.68120） 全文： 内政部
松田，Kazutaka；稻田，Kazuhiro；中野圭介 多次数据遍历累加函数的多项式时间反演计算。 （英语） Zbl 1360.68366号 高-订购符号。计算。 25，第1期，第3-38页（2012年）.MSC公司：68号30 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛K.Matsuda｝等人，高-订购符号。计算。25，第1号，第3--38号（2012；Zbl 1360.68366） 全文： 内政部
格温·克莱恩 操作系统验证概述。 （英语） Zbl 1192.68432号 萨达纳 34，第1期，27-69（2009）.MSC公司：60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.Klein}，萨达纳34，第1号，第27-69页（2009年；Zbl 1192.68432） 全文： 内政部
JoséN·奥利维拉。 使用无点变换通过计算扩展静态检查。 （英语） 兹比尔1250.68093 Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲义5520195-251（2009）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；兹比尔1250.68093） 全文： 内政部 链接
亚历山大·克劳斯 递归数据类型的模式最小化问题。 （英语） 兹比尔1323.68215 2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，267-274（2008）。MSC公司：68号30 68甲18 2017年第68季度 65年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Krauss}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。267--274（2008年；Zbl 1323.68215） 全文： 内政部
尤金·亚萨林；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 多边形混合系统的算法分析。二： 相位图和工具。 （英语） Zbl 1134.68026号 西奥。计算。科学。 390，编号1，1-26（2008）.MSC公司：65年第68季度 34A60型 60年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人，Theor。计算。科学。390，编号1，1--26（2008；Zbl 1134.68026） 全文： 内政部
圭多·威梅尔；简·朱尔延斯 使用突变的安全关键系统的基于规范的测试生成。 （英语） Zbl 1015.68900号 George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 471-482 (2002).MSC公司：68单位99 68N99型 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.Wimmel}和\textit{J.Jurjens}，莱克特。注释计算。科学。2495471--482（2002年；Zbl 1015.68900） 全文： 链接
西蒙·汤普森 米兰达的逻辑，重新审视。 （英语） Zbl 0845.68018号 正式Asp。计算。 7，第4期，412-429（1995）.MSC公司：68甲15 65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛S.Thompson｝，正式Asp。计算。7，第4号，412--429（1995；Zbl 0845.68018） 全文： 内政部