@inproceedings{BeckertBormer2012,
  author       = {Bernhard Beckert and Thorsten Bormer},
  title        = {Lessons Learned From Microkernel Verification},
  booktitle    = {12th International Workshop on Automated Verification
                  of Critical Systems ({AVOCS} 2012)},
  year         = {2012},
  month        = sep
}