DMCA

E.: Automated verification of a small hypervisor

by Eyad Alkassar , Mark A. Hillebr , Wolfgang J. Paul , Elena Petrova
Venue:In: Proceedings of VSTTE (2010
Citations:10 - 1 self