
@conference {inp:BeckertBruns2013,
	title = {Dynamic Logic with Trace Semantics},
	booktitle = {Proceedings of the 24th International Conference on Automated Deduction (CADE-24)},
	year = {2013},
	author = {B. Beckert and D. Bruns}
}
@conference {inp:KuestersTruderung2013,
	title = {A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of {Java} Programs},
	booktitle = {Grande Region Security and Reliability Day 2013},
	year = {2013},
	note = {Extended Abstract},
	author = {R. K{\"u}sters and T. Truderung and B. Beckert and D. Bruns and J. Graf and C. Scheben}
}
@conference {inp:BeckertBruns2012a,
	title = {Formal Semantics of Model Fields in Annotation-based Specifications},
	booktitle = {{KI 2012}: Advances in Artificial Intelligence},
	year = {2012},
	author = {B. Beckert and D. Bruns}
}
@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}
}
