© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integration of specification languages using viewpoints.
Marius C. Bujorianu
In Eerke A. Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, volume 2999, pages 182-196. Springer, April 2004.Bibtex Record
@inproceedings{1961,
author = {Marius C. Bujorianu},
title = {{I}ntegration of Specification Languages Using Viewpoints. },
month = {April},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1961},
publication_type = {inproceedings},
submission_id = {29464_1095175149},
ISBN = {3-540-21377-5 },
booktitle = {Integrated Formal Methods, 4th International Conference, IFM 2004},
publisher = {Springer},
editor = {Eerke A. Boiten and John Derrick and Graeme Smith},
volume = {2999},
}