Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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},
  place = {Seattle, USA}
}