潘卡杰·库马尔·卡利塔;Singal,Dhruv公司;帕拉克阿加瓦尔;萨科特Jhunjhunwala;罗伊,苏巴吉特 LL(1)解析的符号编码及其应用。 (英语) 兹伯利07815092 表格方法系统。设计。 61,编号2-3,338-379(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Kalita}等人,《形式方法系统》。设计。61,编号2--3,338--379(2022;Zbl 07815092) 全文: 内政部
娜塔莎·约加南达·杰普;汤姆·梅尔姆;丹尼尔·克罗宁 使用模拟关系通过等价性检查增强主动模型学习。 (英语) Zbl 07815088号 表格方法系统。设计。 61,编号2-3,164-197(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Y.Jeppu}等人,《形式方法系统》。设计。61,编号2--3,164-197(2022;Zbl 07815088) 全文: 内政部 OA许可证
维杰·加内什;Sanjit A.Seshia。;Jha,萨默什 机器学习和逻辑:人工智能的新前沿。 (英语) Zbl 07757157号 表格方法系统。设计。 60,第3期,426-451(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Ganesh}等人,Form.Methods Syst。设计。60,编号3,426--451(2022;Zbl 07757157) 全文: 内政部
达纳·菲斯曼(编辑);辛格,里沙布(编辑);阿曼多·索拉勒扎马(编辑) 语法指导合成前言专刊。 (英语) 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) 全文: 内政部
格雷姆·史密斯;尼古拉斯·考夫林;托比·默里 ARM和POWER多核处理器上的信息流控制。 (英语) Zbl 1505.68001号 表格方法系统。设计。 58,编号1-2,251-293(2021).MSC公司:2007年7月68日 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}等人,《形式方法系统》。设计。58,编号1-2251-293(2021;兹bl 1505.68001) 全文: 内政部
桑德罗·斯塔基;塞萨尔·桑切斯;杰拉尔多·施奈德;博尔祖·博纳克达尔普尔 使用隐私应用程序对超属性进行灰盒监控。 (英语) Zbl 1502.68187号 表格方法系统。设计。 58,编号1-2,126-159(2021).MSC公司:60年第68季度 03B44号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Stucki}等人,《形式方法系统》。设计。58,编号1--2,126-159(2021;Zbl 1502.68187) 全文: 内政部
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;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公司
苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar TeLEx:使用紧密度度量从正面示例学习信号时序逻辑。 (英语) Zbl 1425.68349号 表格方法系统。设计。 54,第3期,364-387(2019).MSC公司:68T05型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,《形式方法系统》。设计。54,编号3,364--387(2019;Zbl 1425.68349) 全文: 内政部 链接
邓朝强;Kedar S.Namjoshi。 保护编译器转换。 (英语) Zbl 1425.68060号 表格方法系统。设计。 53,第2期,166-188(2018).MSC公司:68N20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Deng}和\textit{K.S.Namjoshi},《形式方法系统》。设计。53,第2号,166--188(2018;Zbl 1425.68060) 全文: 内政部
格里高·罗什乌 有限迹线性时序逻辑:共导完备性。 (英语) Zbl 1394.68237号 表格方法系统。设计。 53,第1期,138-163(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},《形式与方法系统》。设计。53,第1号,138--163(2018;Zbl 1394.68237) 全文: 内政部
斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮,Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 (英语) Zbl 1394.68230号 表格方法系统。设计。 53,编号1,83-112(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,《形式方法系统》。设计。53,第1号,83-112(2018;Zbl 1394.68230) 全文: 内政部
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 (英语) Zbl 1392.68238号 表格方法系统。设计。 52,第1期,33-87(2018).MSC公司:60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},《形式方法系统》。设计。52、第1号、第33-87号(2018;Zbl 1392.68238) 全文: 内政部
弗拉基米尔·克莱巴诺夫;菲利普·吕默;马蒂亚斯·乌尔布里奇 通过谓词抽象实现指针程序的自动回归验证。 (英语) Zbl 1392.68146号 表格方法系统。设计。 52,第3期,229-259(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Klebanov}等人,《形式方法系统》。设计。52,第3号,229--259(2018;Zbl 1392.68146) 全文: 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼伯格 异构系统中分离责任的合同条件。 (英语) Zbl 1390.68442号 表格方法系统。设计。 52,第2期,147-192(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg},《形式方法系统》。设计。52,第2号,147--192(2018;Zbl 1390.68442) 全文: 内政部
威廉·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) 全文: 内政部 链接
伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \(\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) 全文: 内政部
乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔(Samanta,Roopsha);托尔斯滕·塔拉赫 使用同步合成从非抢占调度到抢占调度。 (英语) Zbl 1360.68346号 表格方法系统。设计。 50,编号2-3,97-139(2017).MSC公司:68甲19 68平方米 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,《形式方法系统》。设计。50,编号2--3,97-139(2017;Zbl 1360.68346) 全文: 内政部
阿什什·蒂瓦里;帕特里克·林肯 非线性实数算法的基于搜索的过程。 (英语) Zbl 1358.68149号 表格方法系统。设计。 第357-273号第48页(2016年).MSC公司:65年第68季度 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari}和\textit{P.Lincoln},《形式方法系统》。设计。48,第3号,257--273(2016;Zbl 1358.68149) 全文: 内政部
Jean-Christophe Filliátre;莱昂·冈德尔曼;安德烈·帕斯科维奇 幽灵代码。 (英语) Zbl 1358.68070号 表格方法系统。设计。 48,第3期,152-174(2016).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre}等人,《表单方法系统》。设计。48,第3号,152--174(2016;Zbl 1358.68070) 全文: 内政部 哈尔
保罗·C·阿蒂。 从动态规范合成大型动态并发程序。 (英语) Zbl 1392.68143号 表格方法系统。设计。 48,编号1-294-147(2016).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Attie},形式方法系统。设计。48,编号1--2,94-147(2016;Zbl 1392.68143) 全文: 内政部 arXiv公司
吉安皮耶罗·卡博迪;卢瓦科诺,卡梅罗;丹尼洛·文德拉米内托 无界模型检验中Craig插值压实的优化技术。 (英语) Zbl 1341.68117号 表格方法系统。设计。 46,第2期,135-162(2015).MSC公司:60年第68季度 03C40号 第68页第15页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。46,No.2,135--162(2015;Zbl 1341.68117) 全文: 内政部
乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔,托马斯 Juggrnaut:使用图形语法抽象无限堆结构。 (英语) Zbl 1341.68033号 表格方法系统。设计。 47,第2期,159-203(2015).MSC公司:68第05页 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人,《形式方法系统》。设计。47,No.2,159--203(2015;Zbl 1341.68033) 全文: 内政部
布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 (英语) Zbl 1317.68110号 表格方法系统。设计。 45,第2期,213-245(2014).MSC公司:60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人,《形式方法系统》。设计。45,第2号,213--245(2014;Zbl 1317.68110) 全文: 内政部
尤金·戈德伯格;Manolios,Panagiotis公司 通过依赖序列消除量词。 (英语) Zbl 1311.03061号 表格方法系统。设计。 45,第2期,111-143(2014).MSC公司:03C10号机组 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Goldberg}和\textit{P.Manolios},《形式方法系统》。设计。45,第2号,111--143(2014;Zbl 1311.03061) 全文: 内政部 arXiv公司
李毅;董金松;孙静;刘,杨;孙,六月 自动化规划的模型检查方法。 (英语) Zbl 1291.68263号 表格方法系统。设计。 44,第2期,176-202(2014).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《形式方法系统》。设计。44,第2号,176--202(2014;Zbl 1291.68263) 全文: 内政部 链接
魏坤;吉姆·伍德科克;艾伦·伯恩斯 使用时间段对复杂系统中的时间行为进行建模。 (英语) Zbl 1291.68271号 表格方法系统。设计。 43,第3期,520-551(2013).MSC公司:60年第68季度 68号30 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人,《形式方法系统》。设计。43,第3号,520--551(2013;Zbl 1291.68271) 全文: 内政部 链接
罗伯特·埃什巴赫;林,兰;杰西·H·普尔。 将字符串重写应用于基于序列的规范。 (英语) Zbl 1291.68255号 表格方法系统。设计。 43,编号3,414-449(2013).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Eschbach}等人,《形式方法系统》。设计。43,第3号,414--449(2013;Zbl 1291.68255) 全文: 内政部
艾登·A·H·。;E·加斯帕里斯。;J·尼克尔森。;R.卡兹曼。 使用代码图表对面向对象程序进行建模和可视化。 (英语) Zbl 1291.68141号 表格方法系统。设计。 43,第1期,第1-28页(2013年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Eden}等人,《形式方法系统》。设计。43,编号1,1--28(2013;Zbl 1291.68141) 全文: 内政部
丹尼尔·克罗宁;莎里吉娜,娜塔莎;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 表格方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
克里希南德·查特吉;卢卡·德·阿尔法罗;马可·费拉;鲁帕克·马朱姆达尔;维什瓦纳斯·拉曼 代码感知资源管理。 (英语) Zbl 1291.68137号 表格方法系统。设计。 42,第2期,146-174(2013).MSC公司:68号30 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,No.2,146--174(2013;Zbl 1291.68137) 全文: 内政部
Domagoj Babić;丹尼尔·雷纳德;宋,黎明 利用树自动机推理识别恶意软件行为。 (英语) Zbl 1284.68164号 表格方法系统。设计。 41,第1期,107-128(2012).MSC公司:68号30 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人,《形式方法系统》。设计。41、第1号、第107-128号(2012年;Zbl 1284.68164) 全文: 内政部
苏珊娜·格拉芙;多龙·贝利德;苏菲·昆顿 通过模型检查实现分布式控制。 (英语) Zbl 1247.68185号 表格方法系统。设计。 40,第2期,263-281(2012).MSC公司:68问题85 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}等人,《形式方法系统》。设计。40,第2号,263--281(2012;Zbl 1247.68185) 全文: 内政部
萨特拉吉·查特吉;迈克尔·基希内夫斯基 从通信结构的高级微体系结构模型自动生成归纳不变量。 (英语) Zbl 1247.68162号 表格方法系统。设计。 40,第2期,147-169(2012).MSC公司:60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatterjee}和\textit{M.Kishinevsky},《形式方法系统》。设计。40,第2号,147--169(2012;Zbl 1247.68162) 全文: 内政部
苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃曼纽尔·恩克雷纳兹;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯 通过符号模型检查进行稳健性量化的可行性分析。 (英语) Zbl 1247.68156号 表格方法系统。设计。 第2期第39页,第165-184页(2011年).MSC公司:60年第68季度 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Baarir}等人,《形式方法系统》。设计。39,第2号,165--184(2011;Zbl 1247.68156) 全文: 内政部
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 表格方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: 内政部
雷蒙德·布特 无点表达和计算:从量化到时序逻辑。 (英语) Zbl 1211.68080号 表格方法系统。设计。 37,编号2-3,95-140(2010).MSC公司:68号30 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},形式方法系统。设计。37、编号2--3、95-140(2010;Zbl 1211.68080) 全文: 内政部
维姆·赫瑟林克。;M.I.拉利。 简单的并发垃圾收集几乎没有同步。 (英语) Zbl 1213.68163号 表格方法系统。设计。 36,第2期,148-166(2010).MSC公司:68甲15 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{M.I.Lali},《形式方法系统》。设计。36,第2号,148--166(2010;Zbl 1213.68163) 全文: 内政部 链接
帕特里克·库索;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;对手,泽维尔 为什么阿斯特雷要扩大规模? (英语) Zbl 1185.68241号 表格方法系统。设计。 35,第3期,229-264(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,《形式方法系统》。设计。35,第3号,229--264(2009;Zbl 1185.68241) 全文: 内政部
赫尔姆斯特特,C。;马兰尼奇,F。;梅勒特·康托兹。 系统芯片上系统的SystemC事务级模型的完整模拟覆盖范围。 (英语) Zbl 1186.68127号 表格方法系统。设计。 35,第2期,152-189(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Helmstetter}等人,《形式方法系统》。设计。35,第2号,152--189(2009;Zbl 1186.68127) 全文: 内政部 哈尔
比杰西,佩尔 用于无限硬件模型检查的字级位宽度缩减。 (英语) Zbl 1186.68279号 表格方法系统。设计。 35,第1期,第56-72页(2009年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bjesse},表格。方法系统。设计。35,编号1,56--72(2009;Zbl 1186.68279) 全文: 内政部
科恩,阿里尔;Kedar S.Namjoshi。 全球安全特性的本地证明。 (英语) Zbl 1176.68118号 表格方法系统。设计。 34,第2期,104-125(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}和\textit{K.S.Namjoshi},《形式方法系统》。设计。34,No.2,104--125(2009;Zbl 1176.68118) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔赞诺;艾哈迈德·雷津 具有全局条件的无限状态过程的近似参数化验证。 (英语) Zbl 1176.68110号 表格方法系统。设计。 34,编号2126-156(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。34,第2号,126--156(2009;Zbl 1176.68110) 全文: 内政部
维罗尼克·科尔蒂尔;德莱恩,斯特凡尼 安全地制定安全协议。 (英语) Zbl 1165.68358号 表格方法系统。设计。 34,第1期,1-36页(2009年).MSC公司:68N99型 68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune},《形式方法系统》。设计。34,第1号,1-36(2009;Zbl 1165.68358) 全文: 内政部 链接
罗曼·格什曼;玛雅·科夫曼;斯特里赫曼(Ofer Strichman) 提取不可满足的小岩芯的方法。 (英语) Zbl 1165.68487号 表格方法系统。设计。 33,编号1-3,1-27(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gershman}等人,《形式方法系统》。设计。33,编号1--3,1--27(2008;Zbl 1165.68487) 全文: 内政部
马丁·范策尔;克里斯蒂安·赫尔德 HySAT:混合系统有界模型检查的有效证明引擎。 (英语) Zbl 1116.68048号 表格方法系统。设计。 30,第3期,179-198(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{C.Herde},《形式方法系统》。设计。30,第3号,179--198(2007;Zbl 1116.68048) 全文: 内政部
斯科特·斯托勒。;欧尼·科恩 基于乐观同步的状态空间缩减。 (英语) Zbl 1103.68640号 表格方法系统。设计。 28,第3期,263-289(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Stoller}和\textit{E.Cohen},《形式方法系统》。设计。28,第3号,263--289(2006;Zbl 1103.68640) 全文: 内政部
米洛斯·贝斯塔;弗兰克·斯托普 字符串预处理算法正确性的完全机械化。 (英语) Zbl 1085.68149号 表格方法系统。设计。 27,第1-2、5-17号(2005).MSC公司:第68页第15页 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Besta}和\textit{F.Stomp},《形式方法系统》。设计。27,编号1--2,5--17(2005;Zbl 1085.68149) 全文: 内政部
穆拉特·卡拉曼;帕克·阿伯克龙比 jContractor:使用反射字节码插装将design-by-contract引入Java。 (英语) Zbl 1086.68534号 表格方法系统。设计。 27,第3号,275-312(2005).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.卡拉曼}和\textit{P.阿伯克龙比},《形式方法系统》。设计。27,第3号,275--312(2005;Zbl 1086.68534) 全文: 内政部
保拉·因弗拉迪;普里阿米,科拉多 分布式系统的自动验证:进程代数方法。 (英语) Zbl 1425.68294号 表格方法系统。设计。 第8期,第1期,7-38页(1996年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}和\textit{C.Priami},《形式方法系统》。设计。8,第1号,第7--38号(1996年;Zbl 1425.68294) 全文: 内政部
克劳斯·施耐德;拉梅亚·库马尔;托马斯·克罗普夫 使用紧凑表示加速表格证明。 (英语) Zbl 0808.03006号 表格方法系统。设计。 5,第1-2号,第145-176页(1994年). 审核人:U.Schöning(乌尔姆) MSC公司:03B35型 第68页第15页 20层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Schneider}等人,《形式方法系统》。设计。5,编号1--2,145--176(1994;Zbl 0808.03006) 全文: 内政部
保罗·库松 派生已编译代码的正确性属性。 (英语) Zbl 0785.68061号 表格方法系统。设计。 3,编号1-2,83-115(1993).MSC公司:60年第68季度 03B70号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Curzon},表格。方法系统。设计。3,编号1--2,83-115(1993;Zbl 0785.68061) 全文: 内政部
周朝晨;C.A.R.霍尔。 同步开关电路模型及其正确性理论。 (英语) Zbl 0777.94026号 表格方法系统。设计。 1,第1期,7-28(1992).MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{C.A.R.Hoare},《形式与方法系统》。设计。1,第1号,第7--28号(1992;Zbl 0777.94026) 全文: 内政部