第十一届网络系统自动化规约与验证国际研讨会论文集
计算机科学中的逻辑
2015-08-17 v1 编程语言
软件工程
摘要
本会议录收录了在第十一届网络系统自动化规约与验证国际研讨会（WWV 2015）上发表的论文，该研讨会于2015年6月23日在挪威奥斯陆举行，作为第20届形式化方法国际研讨会（FM 2015）的卫星研讨会。WWV是一个年度跨学科论坛，面向来自以下领域的研究人员：声明式、基于规则的编程，形式化方法，软件工程和基于网络的系统。该研讨会促进这些领域混合方法的交叉融合与进展。
引用
@article{arxiv.1508.03389,
title = {Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems},
author = {Maurice H. ter Beek and Alberto Lluch Lafuente},
journal= {arXiv preprint arXiv:1508.03389},
year = {2015}
}