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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is D and Author is B. Beckert  [Clear All Filters]
Conference Paper
B. Beckert and Bruns, D., Dynamic Logic with Trace Semantics, in Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 2013.