© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Editorial: Special issue on Integrated Formal Methods
Eerke A. Boiten, John Derrick, and Graeme Smith
Formal Aspects of Computing, 17(4):389, 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 = {389},
keywords = {},
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},
}