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