Must Program Verification Systems and Calculi be Verified?

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Vladimir Klebanov
In:Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at Federated Logic Conferences (FLoC), Seattle, USA
Year: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}
}