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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is F and Author is B. Beckert  [Clear All Filters]
Conference Paper
B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.