TY  - RPRT
TI  - Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
AU  - Christoph Baumann
AU  - Bernhard Beckert
AU  - Holger Blasum
AU  - Thorsten Bormer
PY  - 2012
DO  - 10.4204/eptcs.102.4
UR  - https://arxiv.org/abs/1211.6186
ID  - 1211.6186
ER  -