© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Partitioning Dynamic Object Models
D Cleal, J Daniels, and S Cook
In A O'Callaghan and S Thornes, editors, Practical Experiences of Object Technology, pages 182-196. 1996.Bibtex Record
@incollection{1248,
author = {D Cleal and J Daniels and S Cook},
title = {{Partitioning Dynamic Object Models}},
month = {unknown},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/1248},
publication_type = {incollection},
submission_id = {29548_999255313},
other_year = {1996},
booktitle = {Practical Experiences of Object Technology},
editor = {A O'Callaghan and S Thornes},
}