© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integrated Formal Methods, 4th International Conference
Eerke A. Boiten, John Derrick, and Graeme Smith, editors
volume 2999 of Lecture Notes in Computer Science. Springer-Verlag, April 2004.Abstract
Publisher links: printed version at http://www.springeronline.com/3-540-21377-5; online version at http://www.springerlink.com.Bibtex Record
@proceedings{1825,
author = {},
title = {Integrated Formal Methods, 4th International Conference},
month = {April},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1825},
publication_type = {proceedings},
submission_id = {14510_1078740098},
editor = {Eerke A. Boiten and John Derrick and Graeme Smith},
ISBN = {3-540-21377-5},
volume = {2999},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
ISSN = {0302-9743},
}