© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on Integrated Formal Methods
Eerke A. Boiten, John Derrick, and Graeme Smith
Formal Aspects of Computing, 17(4):182-196, December 2005.Bibtex Record
@article{2352,
author = {Eerke A. Boiten and John Derrick and Graeme Smith},
title = {Editorial: {S}pecial issue on {I}ntegrated {F}ormal {M}ethods},
month = {December},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2352},
publication_type = {article},
submission_id = {17214_1139402583},
ISSN = {0934-5043},
journal = {Formal Aspects of Computing},
volume = {17},
number = {4},
}