Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Mind the Gap: Formal Verification and the Common Criteria

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Daniel Bruns, and Sarah Grebing
In:6th~International Verification Workshop (VERIFY-2010)
Publisher:EasyChair
Series:EPiC Series
Volume:3
Year:2012
Pages:4-12
URL:http://easychair.org/publications/?page=1489979161

BibTeX

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