Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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
}