School of Computing

Designing Object Systems

S Cook and J Daniels

Journal of Object-oriented Programming, pages 182-196, 1994 Regular column.

Bibtex Record

@article{1246,
author = {S Cook and J Daniels},
title = {{Designing Object Systems}},
month = {unknown},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Regular column},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1246},
    publication_type = {article},
    submission_id = {29501_999255142},
    other_year = {1994},
    journal = {Journal of Object-oriented Programming},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014