© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The role of contracts in establishing interoperability of enterprise systems
Peter F. Linington
In INTEREST 2004 Workshop, ECOOP 2004, pages 182-196, Oslo, Norway, June 2004.Bibtex Record
@inproceedings{2029, author = {Peter F. Linington}, title = {The Role of Contracts in Establishing Interoperability of Enterprise Systems}, month = {June}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/2029}, publication_type = {inproceedings}, submission_id = {10108_1104844531}, booktitle = {INTEREST 2004 Workshop, ECOOP 2004}, address = {Oslo, Norway}, refereed = {yes}, }