第9届Web系统自动规约与验证国际研讨会论文集
计算机科学中的逻辑
2013-08-02 v1 软件工程
摘要
本卷收录了第9届Web系统自动规约与验证国际研讨会(WWV'13)的录用论文。该研讨会于2013年6月6日在意大利佛罗伦萨举行，是第8届分布式计算技术国际联合会议(DisCoTec 2013)的卫星会议。
引用
@article{arxiv.1308.0268,
title = {Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems},
author = {António Ravara and Josep Silva},
journal= {arXiv preprint arXiv:1308.0268},
year = {2013}
}