Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Ingredients of Operating System Correctness

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Christoph Baumann, Bernhard Beckert, Holger Blasum und Thorsten Bormer
In:embedded world 2010 Conference
Jahr:2010

Anmerkung

Available at https://formal.kastel.kit.edu/beckert/pub/embeddedworld2010.pdf

BibTeX

@InProceedings{BaumannBeckertEA2010,
  author =     {Christoph Baumann and Bernhard Beckert and Holger Blasum
                and Thorsten Bormer},
  title =      {Ingredients of Operating System Correctness},
  booktitle =  {embedded world 2010 Conference},
  month =      mar,
  year =       {2010},
  venue =      {Nuremberg, Germany},
  note =       {Available at 
                https://formal.kastel.kit.edu/beckert/pub/embeddedworld2010.pdf}
}