Publikationen von Maksym Bortin
2010
- Maksym Bortin; Christoph Lüth
Structural Formal Development with Quotient Types in Isabelle/HOL.
In: 10th International Conference on Artificial Intelligence and Symbolic Computation. International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science, Vol. 6167, Springer, 2010.
2006
- Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
Structured Formal Development in Isabelle.
In: Nordic Journal of Computing, Vol. 12, Pages 1-20, o.A. 2006.