Mixed low- and high level programming language semantics and automated verification of a small hypervisor

Cite this paper

@inproceedings{Shadrin2012MixedLA, title={Mixed low- and high level programming language semantics and automated verification of a small hypervisor}, author={Andrey Shadrin}, year={2012} }