第 10 届 Web 系统自动化规范与验证国际研讨会论文集
计算机科学中的逻辑
2014-09-09 v1 编程语言
软件工程
摘要
本论文集收录了第 10 届 Web 系统自动化规范与验证国际研讨会（WWV 2014）上发表的论文。该研讨会于 2014 年 7 月 18 日在奥地利维也纳举行，作为联邦逻辑会议（FLoC 2014）的卫星研讨会，并与第 7 届自动化推理国际联合会议（IJCAR 2014）相关联，是维也纳逻辑之夏（VSL 2014）的一部分。WWV 是一个年度研讨会，旨在提供一个跨学科论坛，促进混合方法的交叉融合与进步，这些方法利用了源自基于规则的编程、形式化方法、软件工程以及面向 Web 的研究中的概念和工具。
引用
@article{arxiv.1409.2294,
title = {Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems},
author = {Maurice H. ter Beek and António Ravara},
journal= {arXiv preprint arXiv:1409.2294},
year = {2014}
}