School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014