Deductive Verification of System Software in the Verisoft XT Project

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Michal Moskal
Zeitschrift:KI
Band:24
Jahr:2010
Nummer:1
Seiten:57-61

BibTeX

@article{BeckertMoskal2010,
  author    = {Bernhard Beckert and Micha{\l} Moskal},
  title     = {Deductive Verification of System Software in the 
               {Verisoft XT} Project},
  journal   = {KI},
  volume    = {24},
  number    = {1},
  pages     = {57-61},
  year      = {2010},
  month     = feb
}