Publications

Page 1 of 1.

1. Maksym Bortin; Christoph Lüth

   Structural Formal Development with Quotient Types in Isabelle/HOL

   In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence …

2. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

   Structured Formal Development in Isabelle

   In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

• 1