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

On Essential Program Annotations and Completeness of Verifying Compilers

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov
In:16th Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE 2009)
Year:2009

BibTeX

@inproceedings{BeckertKlevanovBormer2009,
  author =    {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title =     {On Essential Program Annotations and 
               Completeness of Verifying Compilers},
  booktitle = {16th Workshop on Verified Software: Theory, Tools, 
               and Experiments (VSTTE 2009)},
  editors =   {Jean-Christophe Filli{\^a}tre and Leo Freitas},
  year =      {2009},
  month =     nov
}