© University of Kent - Contact | Feedback | Legal | FOI | Cookies
MooZ Case Studies
SRL Meira and ALC Cavalcanti
In R Barden, S Stepney, and D Cooper, editors, Object Orientation in Z, Workshops in Computing, chapter 5, pages 182-196. Springer-Verlag, 1992.Bibtex Record
@incollection{1465, author = {SRL Meira and ALC Cavalcanti}, title = {{MooZ Case Studies}}, month = {unknown}, year = {1992}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1992/1465}, publication_type = {incollection}, submission_id = {2614_1028813992}, other_year = {1992}, booktitle = {Object Orientation in Z, Workshops in Computing}, publisher = {Springer-Verlag}, editor = {R Barden and S Stepney and D Cooper}, chapter = {5}, }