@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},
SCHOOL = {Saarland University, Saarbrücken},
}