Makowsky,J.A。;A.扎曼斯基。 保持计算机科学中的逻辑:一个教学视角。 (英语) Zbl 1380.97006号 形式方法系统。设计。 51,第2期,419-430(2017).MSC公司:97E30型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}和\textit{A.Zamansky}.形式方法系统。设计。51,No.2,419--430(2017;Zbl 1380.97006) 全文: 内政部
弗雷德里克·多塞特;罗伯特·库尔珊 一种在RTL验证过程中对高级验证加以赞扬的方法。 (英语) Zbl 1386.68100号 形式方法系统。设计。 51,No.2,395-418(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Doucet}和\textit{R.Kurshan},形式方法系统。设计。51,No.2,395--418(2017;Zbl 1386.68100) 全文: 内政部
威廉·R·哈里斯。;Jha,萨默什;代表,Thomas W。;Sanjit A.Seshia。 交互式安全系统的程序合成。 (英语) Zbl 1386.68032号 形式方法系统。设计。 51,第2期,362-394(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Harris}等人,《形式方法系统》。设计。51,No.2,362--394(2017;Zbl 1386.68032) 全文: 内政部 链接
贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 屏蔽合成。 (英语) Zbl 1386.68101号 形式方法系统。设计。 51,第2号,332-361(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人,《形式方法系统》。设计。51,第2号,332--361(2017;Zbl 1386.68101) 全文: 内政部
尼古拉斯·比舍尔;马丁·弗兰兹;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 关于编译为安全多方计算优化的布尔电路。 (英语) Zbl 1386.68020号 形式方法系统。设计。 51,第2号,308-331(2017).MSC公司:64岁以下 68N20型 第68页第25页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Büscher}等人,《形式方法系统》。设计。51,No.2,308--331(2017;Zbl 1386.68020) 全文: 内政部
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \(\text{Para}^2 \):参数化路径缩减、加速和SMT,用于阈值保护分布式算法中的可达性。 (英语) Zbl 1380.68279号 形式方法系统。设计。 51,第2期,270-307(2017).MSC公司:60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,《形式方法系统》。设计。51,第2号,270--307(2017;Zbl 1380.68279) 全文: 内政部
乔治·戈特洛布(编辑);托马斯·亨辛格。(编辑);乔治·威森巴赫(编辑) 纪念赫尔穆特·维思的特刊前言。 (英语) Zbl 1384.00074号 形式方法系统。设计。 51,第2号,267-269(2017).MSC公司:00B15号机组 68-03 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}(编辑)等,《形式方法系统》。设计。51,No.2,267--269(2017;Zbl 1384.00074) 全文: 内政部