Verification-based Software-fault Detection

PhD Thesis

Author(s):Christoph Gladisch
School:Karlsruhe Institute of Technology (KIT)
Year:2011

Note

http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023056

BibTeX

@phdthesis{gladischPhD,
  author = {Christoph Gladisch},
  title = {Verification-based Software-fault Detection},
  school = {Karlsruhe Institute of Technology (KIT)},
  year = {2011},
  month = feb,
  note = {\url{http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023056}}
}