Malte Hübner

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Malte Hübner, Hendrik Schöttle
Modeling and Verification of Judicial Workflows. Modellierung (2004)
Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
Interactive Theorem Proving with Tasks. Electron. Notes Theor. Comput. Sci. 103 (2004)