© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards correspondence carrying specifications
Marius C. Bujorianu and Eerke A. Boiten
In Charles Rattray, Savitri Maharaj, and Carron Shankland, editors, Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004, volume 3116 of LNCS, pages 182-196. Springer, July 2004.Bibtex Record
@inproceedings{1964, author = {Marius C. Bujorianu and Eerke A. Boiten}, title = {{T}owards Correspondence Carrying Specifications}, month = {July}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/1964}, publication_type = {inproceedings}, submission_id = {29635_1095175741}, booktitle = {Algebraic Methodology and Software Technology, Proceedings of the 10th International Conference, AMAST 2004}, editor = {Charles Rattray and Savitri Maharaj and Carron Shankland}, volume = {3116}, series = {LNCS}, publisher = {Springer}, }