Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Camilleri, Juanito and Zammit, Vincent
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 currently available from this repository. You may be able to access a copy if URLs are provided)