Elena Petrova
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Automated Verification of a Small Hypervisor
Eyad Alkassar and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Pervasive Compiler Verification – From Verified Programs to Verified Systems
Dirk Leinenbach and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Verification of the C0 Compiler Implementation on the Source Code Level
Elena Petrova (2007)