Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Metric for Testing Program Verification Systems

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Thorsten Bormer, and Markus Wagner
In:Seventh International Conference on Tests and Proofs (TAP 2013)
Publisher:Springer
Series:LNCS 7942
Year:2013
Pages: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,
  venue =        {Budapest, Hungary}
}