Formale Methoden im Recht — Bestandsaufnahme