Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

B. Beckert and Bruns, D., “Dynamic Logic with Trace Semantics”, in Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 2013.