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