@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
}
Towards Testing a Verifying Compiler
| 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 |