安托尼奥·拉瓦拉（编辑）;乔塞普·席尔瓦（编辑） JLAMP网络系统自动化规范和验证专刊编辑。 （英语） Zbl 1314.00114号 J.日志。阿尔盖布。方法计划。 84，编号：483-484（2015）. 摘自正文：本期特刊是在2013年6月6日于意大利费伦泽举行的第九届网络系统自动规范和验证国际研讨会（WWV）之后举办的。WWV是一个年度研讨会，旨在提供一个跨学科论坛，以促进基于规则的编程、自动化软件工程和面向网络的研究相结合的混合方法的交叉受精和进步。 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}（编辑）和\textit{J.Silva}。阿尔盖布。方法计划。84，第4号，483--484（2015；Zbl 1314.00114） 全文： 内政部