© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Refinement in Z and Object-Z: Foundations and Advanced Applications
John Derrick and Eerke Boiten
Formal Approaches to Computing and Information Technology. Springer, May 2001.Bibtex Record
@book{1200,
author = {John Derrick and Eerke Boiten},
title = {Refinement in Z and Object-Z: Foundations and Advanced Applications},
month = {May},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1200},
publication_type = {book},
submission_id = {768_989581287},
ISBN = {1-85233-245-X},
publisher = {Springer},
series = {Formal Approaches to Computing and Information Technology},
}