@inproceedings{BaumannBeckertEA2012,
author = {Christoph Baumann and Bernhard Beckert and Holger Blasum and
Thorsten Bormer},
title = {Lessons Learned From Microkernel Verification:
Specification is the New Bottleneck},
booktitle = {Seventh Conference on Systems Software Verification ({SSV} 2012)},
editor = {Franck Cassez and Ralf Huuck and Gerwin Klein and Bastian Schlich},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {102},
year = {2012},
month = nov,
venue = {Sydney, Australia}
}
