Number of items: 1.
|
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 Fri May 24 14:07:56 2013 BST.
