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