阿米尔·贾汉加德·拉夫桑贾尼;米利安·霍塞纳巴迪(Mirian-Hosseinabadi)、塞耶德·哈桑(Seyed-Hassan) ORM模型的轻量级形式化和验证。 (英语) Zbl 1329.68170号 J.日志。阿尔盖布。方法计划。 84,第4期,534-549(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jahangard-Rafsanjani}和\textit{S.-H.Mirian-Hosseinabadi},J.Log。阿尔盖布。方法程序。84,第4号,534--549(2015;Zbl 1329.68170) 全文: 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.Log。阿尔盖布。方法程序。84,第4号,505--533(2015;Zbl 1329.68169) 全文: 内政部
加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 链接数据使用者的最小类型推断。 (英语) Zbl 1329.68085号 J.日志。阿尔盖布。方法计划。 84,第4期,485-504(2015).MSC公司:68第05页 68英里11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人,J.Log。阿尔盖布。方法程序。84,第4号,485--504(2015;Zbl 1329.68085) 全文: 内政部 arXiv公司
安托尼奥·拉瓦拉(编辑);乔塞普·席尔瓦(编辑) JLAMP网络系统自动化规范和验证专刊编辑。 (英语) Zbl 1314.00114号 J.日志。阿尔盖布。方法计划。 84,第4期,483-484(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}(编辑)和\textit{J.Silva}。阿尔盖布。方法程序。84,第4号,483--484(2015;Zbl 1314.00114) 全文: 内政部