林宇辉;阿兰·邦迪;古德蒙德·格罗夫;埃文·麦克林 通过涟漪和校样修补实现Event-B不变校样的自动化。 (英语) Zbl 1425.68077号 正式Asp。计算。 31,第1号,95-129(2019).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}等人,《正式Asp》。计算。31,第1号,95-129(2019;Zbl 1425.68077) 全文: 内政部
英明生 朝向量子程序的自动验证。 (英语) Zbl 1425.68271号 正式Asp。计算。 31,第1号,3-25(2019).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},正式Asp。计算。31,第1号,第3--25号(2019年;Zbl 1425.68271) 全文: 内政部 arXiv公司