@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, place = {Sydney, Australia} }