@InProceedings{BaumannBeckertBlasumBormer2009b,
author = {Christoph Baumann and Bernhard Beckert and
Holger Blasum and Thorsten Bormer},
title = {Formal Verification of a Microkernel Used in
Dependable Software Systems},
booktitle = {28th International Conference on
Computer Safety, Reliability and Security},
editor = {Bettina Buth and Gerd Rabe and Till Seyfarth},
publisher = {Springer},
series = {LNCS 5775},
pages = {187--200},
year = {2009},
venue = {Hamburg, Germany},
month = sep
}