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 Wed May 22 18:47:33 2013 BST.
