© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A relational framework for the integration of specifications
Eerke Boiten and John Derrick
Journal of Integrated Design and Process Science, 7(3):182-196, September 2003. Download publication (HTML)Bibtex Record
@article{1757,
author = {Eerke Boiten and John Derrick},
title = {A relational framework for the integration of specifications},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1757},
publication_type = {article},
submission_id = {11884_1071486763},
ISSN = {1092-0617},
journal = {Journal of Integrated Design and Process Science},
volume = {7},
number = {3},
publisher = {IOS Press},
}