@InProceedings{BeckertBormer2013,
author = {Bernhard Beckert and Thorsten Bormer and Markus Wagner},
title = {A Metric for Testing Program Verification Systems},
booktitle = {Seventh International Conference on Tests and Proofs
({TAP} 2013)},
publisher = {Springer},
series = {LNCS 7942},
editor = {Margus Veanes and Luca Vigan\`o},
pages = {56--75},
doi = {10.1007/978-3-642-38916-0_4},
year = {2013},
month = jun,
venue = {Budapest, Hungary}
}
A Metric for Testing Program Verification Systems
| Autor(en): | Bernhard Beckert, Thorsten Bormer und Markus Wagner |
|---|---|
| In: | Seventh International Conference on Tests and Proofs (TAP 2013) |
| Verleger: | Springer |
| Reihe: | LNCS 7942 |
| Jahr: | 2013 |
| Seiten: | 56-75 |
| DOI: | 10.1007/978-3-642-38916-0_4 |