INSPIRING FUTURES

Browse by Author

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

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.

This list was generated on Fri Aug 1 02:42:16 2014 IST.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373