B
B. Beckert, Bruns, D., and Grebing, S.,
“Mind the Gap: Formal Verification and the Common Criteria”, in
Proceedings of the 6th International Verification Workshop (VERIFY 2010), 2012.
B. Beckert and Bruns, D.,
“Dynamic Logic with Trace Semantics”, in
Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 2013.