HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sarah Grebing

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-2025 easychair.org. All rights reserved.