© University of Kent - Contact | Feedback | Legal | FOI | Cookies
ICFEM2003: 5th International Conference on Formal Engineering Methods
Jin Song Dong and Jim Woodcock, editors
Lecture Notes in Computer Science, Singapore, 2003.Bibtex Record
@proceedings{1803,
author = {},
title = {{ICFEM2003: 5th International Conference on Formal Engineering Methods}},
month = {unknown},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1803},
publication_type = {proceedings},
submission_id = {22758_1076409008},
editor = {Jin Song Dong and Jim Woodcock},
series = {Lecture Notes in Computer Science},
address = {Singapore},
}