Author: Gesellschaft für Informatik. Arbeitskreis "Formalisierung und Formale Modelle im Recht." Workshop