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

Towards Testing a Verifying Compiler

Reviewed Paper In Proceedings
Author(s):Thorsten Bormer and Markus Wagner
In: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

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
}