INSPIRING FUTURES

Browse by Author

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

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.

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

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 Sat Aug 2 05:30:35 2014 IST.

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