@inproceedings{PSS12,
AUTHOR = { Paul, Wolfgang and Schmaltz, Sabine and Shadrin, Andrey},
TITLE = {Completing the Automated Verification of a Small Hypervisor Assembler Code Verification},
VOLUME = {7504},
YEAR = {2012},
PAGES = {188-202},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 (Software Engineering and Formal Methods)},
PUBLISHER = {Springer Berlin Heidelberg},
EDITOR = {George Eleftherakis and Mike Hinchey and Mike Holcombe },
EE = {http://dx.doi.org/10.1007/978-3-642-33826-7_13},
}