Publikation
David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 226, Elsevier Science, 2009.