© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modular Object-Oriented Z Specifications
SRL Meira and ALC Cavalcanti
In JE Nicholls, editor, Z User Workshop, pages 182-196, Oxford, UK, 1990. Springer-Verlag.Bibtex Record
@inproceedings{1495, author = {SRL Meira and ALC Cavalcanti}, title = {{Modular Object-Oriented Z Specifications}}, month = {unknown}, year = {1990}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1990/1495}, publication_type = {inproceedings}, submission_id = {28685_1028902231}, other_year = {1990}, booktitle = {Z User Workshop}, editor = {JE Nicholls}, address = {Oxford, UK}, publisher = {Springer-Verlag}, }