Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Lessons Learned From Microkernel Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Thorsten Bormer
In:12th International Workshop on Automated Verification of Critical Systems (AVOCS 2012)
Jahr:2012

BibTeX

@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
}