School of Computing

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},
}

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

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

Last Updated: 21/03/2014