@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.}
}
Mind the Gap: Formal Verification and the Common Criteria
| Autor(en): | Bernhard Beckert, Daniel Bruns und Sarah Grebing |
|---|---|
| In: | 6th International Verification Workshop (VERIFY 2010) |
| Jahr: | 2010 |
Anmerkung
Discussion paper.