劳拉·科瓦奇(编辑);罗萨里奥Pugliese(编辑);乔塞普·席尔瓦(编辑);弗朗西斯科·蒂埃齐(编辑) 关于web系统自动规范和验证的特别问题。 (英语) Zbl 1298.00311号 J.日志。阿尔盖布。程序。 82,第8期,241-242(2013). 摘自正文:本期特刊是在2011年6月9日在冰岛雷克雅未克和2012年6月16日在瑞典斯德哥尔摩分别举行的第七届和第八届网络系统自动化规范和验证国际研讨会之后举办的。 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68英里11 互联网主题 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}(编辑)等人,J.Log。阿尔盖布。程序。82,编号82041-242(2013;兹bl 1298.00311) 全文: 内政部