Frank Guerin, Jeremy Pitt. Verification and Compliance Testing. In Marc-Philippe Huget, editor, Communication in Multiagent Systems, Agent Communication Languages and Conversation Polocies. Volume 2650 of Lecture Notes in Computer Science, pages 98-112, Springer, 2003. [doi]
@inproceedings{GuerinP03,
title = {Verification and Compliance Testing},
author = {Frank Guerin and Jeremy Pitt},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2650&spage=98},
tags = {testing},
researchr = {https://researchr.org/publication/GuerinP03},
cites = {0},
citedby = {0},
pages = {98-112},
booktitle = {Communication in Multiagent Systems, Agent Communication Languages and Conversation Polocies},
editor = {Marc-Philippe Huget},
volume = {2650},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40385-X},
}