@inproceedings{LeiSSV08,
AUTHOR = {Leinenbach, D. and Petrova, E.},
TITLE = {Pervasive Compiler Verification -- From Verified Programs to Verified Systems},
VOLUME = {217C},
YEAR = {2008},
PAGES = {23-40},
SERIES = {Electronic Notes in Theoretical Computer Science},
BOOKTITLE = {3rd intl Workshop on Systems Software Verification (SSV08).},
PUBLISHER = {Elsevier Science B. V.},
EE = {http://dx.doi.org/10.1016/j.entcs.2008.06.040},
}