This page shows all presentations of this author published in EasyChair Smart Slide.
Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability
Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Maier, Lutz Schröder, Osman Anil Basaran, Steffen Bothe, Merlin Humml, Stephan Prettner, Max Gabriel Rapp, Michael Gritz, Verena Stürmer, Johannes Lindner and Moritz Blöcher