@conference {inp:BeckertBruns2012b, title = {Mind the Gap: Formal Verification and the {Common} {Criteria}}, booktitle = {Proceedings of the 6th International Verification Workshop (VERIFY 2010)}, year = {2012}, author = {B. Beckert and D. Bruns and S. Grebing} }