@phdthesis{Sh12,
AUTHOR = {Shadrin, Andrey},
TITLE = {Mixed Low- and High Level Programming Languages Semantics.Automated Verification of a Small Hypervisor: Putting It All Together.},
YEAR = {2012},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Sh12.pdf},
SCHOOL = {Saarland University, Saarbrücken},
}