Process and Tool-Support to Collaboratively Formalize Statutory Texts by Executable Models.

Bernhard Waltl, Thomas Reschenhofer, Florian Matthes

Browse the full DEXA paper archive.