A Metric for Testing Program Verification Systems

Begutachtete Veröffentlichung in Tagungsband

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

BibTeX

@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,
  place =        {Budapest, Hungary}
}