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