
@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}
}
