莫里斯·比克。(编辑);阿尔贝托·卢什·拉富恩特(编辑) 基于web的应用程序的自动化规范和验证。 (英语) Zbl 1358.00137号 J.日志。阿尔盖布。方法计划。 87, 51 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)和\textit{A.Lluch Lafuente}(主编),J.Log。阿尔盖布。方法计划。87、51(2017;Zbl 1358.00137) 全文: 内政部
伊万·拉内斯(编辑);阿尔贝托·卢什·拉富恩特(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2015年交互与并发体验专刊前言。 (英语) Zbl 1354.00101号 J.日志。阿尔盖布。方法计划。 86,第1、1号(2017).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等人,J.Log。阿尔盖布。方法计划。86,第1、1号(2017;Zbl 1354.00101) 全文: 内政部
伊万·拉内斯(编辑);阿尔贝托·卢什·拉富恩特(编辑);安娜·索科洛娃(编辑);雨果·托雷斯·维埃拉(编辑) 2014年交互与并发体验专刊前言。 (英语) Zbl 1335.00159号 J.日志。阿尔盖布。方法计划。 85、3号、367(2016).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等人,J.Log。阿尔盖布。方法计划。85、3号、367(2016;Zbl 1335.00159) 全文: 内政部