达纳·菲斯曼(编辑);里沙布·辛格(编辑);阿曼多·索拉勒扎马(编辑) 语法指导合成前言专刊。 (英语) 1490.00032兹罗提 形式方法系统。设计。 58,第3号,469-470(2021).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}(编辑)等,《形式方法系统》。设计。58,第3号,469--470(2021;Zbl 1490.00032) 全文: 内政部
哈娜·乔克勒(编辑);格奥尔格·魏森巴赫(编辑) 2018年计算机辅助验证会议特刊前言。 (英语) Zbl 1519.68003号 形式方法系统。设计。 57,第1期,第1-2期(2021年).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;Zbl 1519.68003) 全文: 内政部
阿戈斯蒂诺·多维尔(编辑) 前言。 (英语) Zbl 1379.68007号 理论与实践。日志。程序。 第4期第17页,第359-364页(2017年).MSC公司:68-06 68N17号 68T20型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}(编辑),理论与实践。日志。程序。17,编号4359-364(2017;兹bl 1379.68007) 全文: 内政部