INSPIRING FUTURES

Browse by Author

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Article

Lowe, Helene, Jackson, Mike and Benyon, David (1998) Design rational for semi-automated theorem provers. Submitted to Formal Aspects of Computing (Special Issue on User Interfaces for Theorem Provers). ISSN 0934 5043

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.

Barclay, Peter J and Kennedy, Jessie (1991) Regaining the conceptual level in object oriented modelling. In: Proceedings of the 9th British National Conference on Databases, Aspects of Databases, (BNCOD 9). Butterworth Heinemann, Oxford; Wolverhampton, pp. 269-305. ISBN 0-7506-1525-7

This list was generated on Wed Apr 16 19:35:55 2014 IST.

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