© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Refinement Tool for Z
A.F. Freitas, C.M. Nascimento, and A.L.C. Cavalcanti
In J.S. Dong and J.C.P. Woodcock, editors, Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, volume 2885 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, January 2003.Bibtex Record
@inproceedings{1805,
author = {A.F. Freitas and C.M. Nascimento and A.L.C. Cavalcanti},
title = {{A Refinement Tool for Z}},
month = {January},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1805},
publication_type = {inproceedings},
submission_id = {9734_1076509252},
booktitle = {Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003},
volume = {2885},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
editor = {J.S. Dong and J.C.P. Woodcock},
}