蔡义权;陈玉芳;蔡明勋;吴康宁;陈文钦;罗、池建;张进淑 支持学习Büchi自动机和线性时序逻辑的工具。 (英语) Zbl 1165.68040号 正式Asp。计算。 21,第3期,259-275(2009).MSC公司:65年第68季度 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}等人,正式Asp。计算。21,第3号,259--275(2009;Zbl 1165.68040) 全文: 内政部
英戈·费内尔;格诺·萨尔泽 正式软件验证教学工具的比较。 (英语) 兹比尔1160.68439 正式Asp。计算。 21,第3期,293-301(2009).MSC公司:60年第68季度 97C80型 PDF格式BibTeX公司 XML格式引用 \textit{I.Feinerer}和\textit{G.Salzer},正式Asp。计算。21,第3号,293--301(2009;Zbl 1160.68439) 全文: 内政部 哈尔
回来了,拉尔夫·约翰 基于不变量的编程:基本方法和教学经验。 (英语) Zbl 1178.68334号 正式Asp。计算。 21,第3期,227-244(2009年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.后退},正式Asp。计算。21,第3227-244号(2009年;兹bl 1178.68334) 全文: 内政部 哈尔
沃尔夫冈·施莱纳 RISC ProofNavigator:课堂上程序验证的证明助手。 (英语) 兹比尔1162.68478 正式Asp。计算。 21,第3期,277-291(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner},正式Asp。计算。21,第3号,277--291(2009;Zbl 1162.68478) 全文: 内政部 哈尔