罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英语) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473--495(2021;Zbl 1522.68297) 全文: 内政部
Min-Hsien翁;罗比·马利克;马克·乌廷 Whiley-to-C编译器的内存释放的自动证明。 (英语) Zbl 1522.68139号 形式方法系统。设计。 57,第3期,429-472(2021).MSC公司:68N20型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.-H.Weng}等人,《形式方法系统》。设计。57,编号32429-472(2021;兹bl 1522.68139) 全文: 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯 有界树宽图定量验证的快速算法。 (英语) Zbl 1522.68301号 形式方法系统。设计。 57,第3号,401-428(2021).MSC公司:60年第68季度 65年第68季度 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。57,第3号,401--428(2021;Zbl 1522.68301) 全文: 内政部
雨果·伊利诺斯;马蒂厄·莱梅尔;对手,泽维尔 关系形状抽象域。 (英语) Zbl 1522.68156号 形式方法系统。设计。 57,第3号,343-400(2021).MSC公司:68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Illous}等人,《形式方法系统》。设计。57,编号3,343--400(2021;Zbl 1522.68156) 全文: 内政部
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 致力于人口协议的有效验证。 (英语) Zbl 1487.68032号 形式方法系统。设计。 57,编号3,305-342(2021).MSC公司:68米14 68个M12 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,《形式方法系统》。设计。57,编号3,305-342(2021;兹bl 1487.68032) 全文: 内政部 arXiv公司
达里尔·斯图尔特(编辑);乔治·威森巴赫(编辑) 2017年计算机辅助设计正式方法会议特刊前言。 (英语) Zbl 1522.68042号 形式方法系统。设计。 57,编号303-304(2021).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Stewart}(编辑)和\textit{G.Weissenbacher}(编),《形式方法系统》。设计。57、3号、303--304(2021;Zbl 1522.68042) 全文: 内政部