© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A unified language of classes and processes
A L C Cavalcanti, A C A Sampaio, and J C P Woodcock
In St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering, pages 182-196, Satellite Workshop at FM'03, 2003.Bibtex Record
@inproceedings{1799,
author = {A L C Cavalcanti and A C A Sampaio and J C P Woodcock},
title = {{A unified language of classes and processes}},
month = {unknown},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1799},
publication_type = {inproceedings},
submission_id = {3829_1076326124},
booktitle = {St Eve: State-Oriented vs. Event-Oriented Thinking in Requirements Analysis, Formal Specification and Software Engineering},
address = {Satellite Workshop at FM'03},
}