@inproceedings{BaSSV12,
AUTHOR = {Baumann, Christoph and Beckert, Bernhard and Blasum, Holger and Bormer, Thorsten},
TITLE = {Lessons Learned From Microkernel Verification --- Specification is the New Bottleneck},
VOLUME = {102},
YEAR = {2012},
PAGES = {18-32},
SERIES = {Electronic Proceedings in Theoretical Computer Science},
BOOKTITLE = {Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012},
PUBLISHER = {Open Publishing Association},
EDITOR = {Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian},
EE = {http://dx.doi.org/10.4204/EPTCS.102.4},
}