Must Program Verification Systems and Calculi be Verified?

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Vladimir Klebanov
In:3rd International Verification Workshop (VERIFY 2006), Workshop at Federated Logic Conferences (FLoC)
Jahr:2006
Seiten: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}
}