Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce. Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling. In Detlef Plump, editor, Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015. Volume 1403 of CEUR Workshop Proceedings, pages 18-33, CEUR-WS.org, 2015. [doi]
Abstract is missing.