@doctoralThesis{Shadrin_2012,
title={Mixed low- and high level programming language semantics and automated verification of a small hypervisor},
author={Shadrin, Andrey},
doi={http://dx.doi.org/10.22028/D291-26397},
subtitle={Gemischte Semantik von niederen und höheren Programmiersprachen und automatische Verifikation eines einfachen Hypervisors},
year={2012}
}