Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Towards Testing a Verifying Compiler

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Thorsten Bormer und Markus Wagner
In:Formal Verification of Object-Oriented Software, Papers presented at the International Conference
Verleger:Karlsruhe Institute of Technology, Technical Report
Band:KIT-INFO-TR 2010-13
Jahr:2010

BibTeX

@inproceedings{BormerWagner2010,
  author       = {Thorsten Bormer and Markus Wagner},
  title        = {Towards Testing a Verifying Compiler},
  editor       = {Bernhard Beckert and Claude March{\'e}},
  booktitle    = {Formal Verification of Object-Oriented Software,
                  Papers presented at the International Conference},
  publisher    = {Karlsruhe Institute of Technology, Technical Report},
  volume       = {KIT-INFO-TR 2010-13},
  year         = {2010},
  month        = oct
}