Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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)
Jahr:2010

Anmerkung

Discussion paper. To appear

BibTeX

@inproceedings{BeckertBrunsGrebing2012,
  author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
  title = {Mind the Gap: Formal Verification and the {Common}
                  {Criteria}},
  year = 2010,
  month = jul # {~20--21},
  booktitle = {6th International Verification Workshop ({VERIFY} 2010)},
  address = {Edinburgh, United Kingdom},
  editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  note = {Discussion paper. To appear}
}