Must Program Verification Systems and Calculi be Verified?

@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}
}