@inproceedings{ACKP12,
AUTHOR = {Alkassar, E. and Cohen, E. and Kovalev, M. and Paul, W.},
TITLE = {Verification of TLB Virtualization Implemented in C},
YEAR = {2012},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12},
PUBLISHER = {Springer-Verlag},
}