@inproceedings{SS12, <br>AUTHOR = {Schmaltz, Sabine and Shadrin, Andrey},<br>TITLE = {Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT },<br>VOLUME = {7152}, <br>YEAR = {2012},<br>URL = {http:///publikationen/SS12.pdf}, <br>SERIES = {Lecture Notes in Computer Science},<br>BOOKTITLE = {4th International Conference
on Veried Software: Theories, Tools, and Experiments, VSTTE'12}, <br>PUBLISHER = {Springer Berlin / Heidelberg},<br>EDITOR = {Joshi, Rajeev and Müller, Peter and Podelski, Andreas},<br>EE = {http://dx.doi.org/10.1007/978-3-642-27705-4_3},<br>}