© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Symbolic animation as a proof tool
Juanito Camilleri and Vincent Zammit
In Thomas F. Melham and Juanito Camilleri, editors, Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta, volume 859 of Lecture Notes in Computer Science, pages 113-127. Springer-Verlag, September 1994.Bibtex Record
@inproceedings{408,
author = {Juanito Camilleri and Vincent Zammit},
title = {Symbolic Animation as a Proof Tool},
month = {September},
year = {1994},
pages = {113-127},
keywords = {interactive theorem Proving, compiler verification},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/408},
ISBN = {3-540-58450-1},
booktitle = {Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta},
editor = {Thomas F. Melham and Juanito Camilleri},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {859},
}