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 available from this repository.