Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Must Program Verification Systems and Calculi be Verified?

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Vladimir Klebanov
In:3rd International Verification Workshop (VERIFY 2006), Workshop at Federated Logic Conferences (FLoC)
Year:2006
Pages:34-41

BibTeX

@inproceedings{BeckertKlebanovVerify2006,
  author    = {Bernhard Beckert and Vladimir Klebanov},
  title     = {Must Program Verification Systems and Calculi be Verified?},
  booktitle = {3rd International Verification Workshop ({VERIFY} 2006),
               Workshop at Federated Logic Conferences ({FLoC})},
  editors   = {Serge Autexier and Heiko Mantel},
  pages     = {34--41},
  year      = {2006},
  venue     = {Seattle, USA}
}