Formal Modeling of Virtual Machines (1978)

by A B Cremers, T N Hibbard
Venue:IEEE Transactions on Software Engineering