Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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