Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 1.

1994

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. (The full text of this publication is not available from this repository)

This list was generated on Tue Sep 30 19:02:38 2014 BST.