Publication Overview

Eyad Alkassar and Ernie Cohen and Mikhail Kovalev and Wolfgang Paul

Verification of TLB Virtualization Implemented in C

Published in: Proc. 4th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2012)
Year: 2012
Volume: 7152
Pages: 209-224