Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi. Towards Agile Verification. In Jürgen Münch, Klaus Schmid, editors, Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach. pages 31-47, Springer, 2013. [doi]
@inproceedings{GhezziSM13,
title = {Towards Agile Verification},
author = {Carlo Ghezzi and Amir Molzam Sharifloo and Claudio Menghi},
year = {2013},
doi = {10.1007/978-3-642-37395-4_3},
url = {https://doi.org/10.1007/978-3-642-37395-4_3},
researchr = {https://researchr.org/publication/GhezziSM13},
cites = {0},
citedby = {0},
pages = {31-47},
booktitle = {Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach},
editor = {Jürgen Münch and Klaus Schmid},
publisher = {Springer},
isbn = {978-3-642-37394-7},
}