© 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}, }