Must Program Verification Systems and Calculi be Verified?

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Vladimir Klebanov
In:Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at Federated Logic Conferences (FLoC), Seattle, USA
Jahr:2006

BibTeX

@inproceedings{BeckertKlevanovVerify2006,
  author = {Bernhard Beckert and Vladimir Klebanov},
  title = {Must Program Verification Systems and Calculi be Verified?},
  booktitle = {Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at Federated Logic
   	       Conferences (FLoC), Seattle, USA},
  year = {2006}
}