@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
}
On Essential Program Annotations and Completeness of Verifying Compilers
| Autor(en): | Bernhard Beckert, Thorsten Bormer und Vladimir Klebanov |
|---|---|
| In: | 16th Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE 2009) |
| Jahr: | 2009 |