Formal Semantics of Model Fields in Annotation-based Specifications | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.