@inproceedings{GHLP05,
AUTHOR = {Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W.},
TITLE = {On the Correctness of Operating System Kernels},
YEAR = {2005},
SERIES = {LNCS},
BOOKTITLE = {Theorem Proving in High Order Logics (TPHOLs) 2005},
PUBLISHER = {Springer},
EDITOR = {Hurd, J. and Melham, T.},
EE = {http://dx.doi.org/10.1007/11541868_1},
}