2010a. Automated Verification of a Small Hypervisor (0)

by E Alkassar, M Hillebrand, W Paul, E Petrova