@inproceedings{BeckertBrunsGrebingVerify2010,
author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
title = {Mind the Gap: Formal Verification and the {Common}
{Criteria}},
year = {2012},
month = jul,
booktitle = {6th International Verification Workshop ({VERIFY}-2010)},
address = {Edinburgh, United Kingdom},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
series = {EPiC Series},
volume = {3},
pages = {4--12},
publisher = {EasyChair},
issn = {2040-557X},
url = {http://easychair.org/publications/?page=1489979161}
}
