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 Tue Jun 18 23:17:40 2013 IST.
Edinburgh Napier University, Craiglockhart Campus, Edinburgh, EH14 1DJ
Telephone: 08452 60 60 404
Send us an Enquiry

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