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