Pervasive Compiler Verification - From Verified Programs to Verified Systems

@inproceedings{pub3032,
    author = {

Leinenbach, Dirk
 and 

Petrova, Elena
},
    editor = {

Huuck, Ralf
 and 

Klein, Gerwin
 and 

Schlich, Bastian
},
    title = {Pervasive Compiler Verification - From Verified Programs to Verified Systems},
    booktitle = {Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-08), 3rd, February 25-27, Sydney, NSW, Australia},
    series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
    year = {2008},
    volume = {217},
    pages = {23--40},
    publisher = {Elsevier Science B. V.}
}