Mind the Gap: Formal Verification and the Common Criteria

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