Browse by Author
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Jackson, Mike, Benyon, David and Lowe, Helene (2004) Using ERMIA for the Evaluation of a Theorem Prover Interface. In: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers. UITP, Eindhoven, Holland, pp. 104-111.