Ingredients of Operating System Correctness

Reviewed Paper In Proceedings

Author(s):Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer
In:embedded world 2010 Conference
Year:2010

Note

Available at http://formal.iti.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},
  place =      {Nuremberg, Germany},
  note =       {Available at 
                http://formal.iti.kit.edu/beckert/pub/embeddedworld2010.pdf}
}