@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}
}
Must Program Verification Systems and Calculi be Verified?
| Autor(en): | Bernhard Beckert und Vladimir Klebanov |
|---|---|
| In: | 3rd International Verification Workshop (VERIFY 2006), Workshop at Federated Logic Conferences (FLoC) |
| Jahr: | 2006 |
| Seiten: | 34-41 |