Peter T. Breuer, Simon Pickin. Approximate verification in an open source world. ISSE, 4(1):87-105, 2008. [doi]
@article{BreuerP08,
title = {Approximate verification in an open source world},
author = {Peter T. Breuer and Simon Pickin},
year = {2008},
doi = {10.1007/s11334-008-0045-4},
url = {http://dx.doi.org/10.1007/s11334-008-0045-4},
tags = {source-to-source, peer-to-peer, open-source},
researchr = {https://researchr.org/publication/BreuerP08},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {4},
number = {1},
pages = {87-105},
}