DIREGA - Building Decision Support for German Register Law.
Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schrder, Verena Strmer
Browse the full JURIX paper archive.