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 = {},
keywords = {},
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},
}