Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Bernhard Beckert
Publications
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
Bernhard Beckert
,
Daniel Bruns
and
Sarah Grebing
In
:
VERIFY-2010. 6th International Verification Workshop
Keyphrases
certification
,
Common Criteria
,
program verification
.
Copyright © 2012-2024 easychair.org. All rights reserved.