Verifying the Microsoft Hyper-V Hypervisor with VCC.

Dirk Leinenbach, Thomas Santen

Browse the full FM paper archive.