© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 182-196. 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 = {182-196}, keywords = {determinacy analysis, Craig interpolants}, 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}, }