Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Mind the Gap: Formal Verification and the Common Criteria

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Daniel Bruns und Sarah Grebing
In:6th~International Verification Workshop (VERIFY-2010)
Verleger:EasyChair
Reihe:EPiC Series
Band:3
Jahr:2012
Seiten: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}
}