Gwen Salaün, Mariëlle Stoelinga. Special issue on Software Verification and Testing (SAC-SVT'15). Science of Computer Programming, 132:141-142, 2016. [doi]
@article{SalaunS16,
title = {Special issue on Software Verification and Testing (SAC-SVT'15)},
author = {Gwen Salaün and Mariëlle Stoelinga},
year = {2016},
doi = {10.1016/j.scico.2016.10.001},
url = {http://dx.doi.org/10.1016/j.scico.2016.10.001},
researchr = {https://researchr.org/publication/SalaunS16},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {132},
pages = {141-142},
}