Fourth International Conference on Integrated Formal Methods
4-7 April 2004 in Canterbury, Kent, England
Conference Chairs
Eerke Boiten, University of Kent at Canterbury, UK
John Derrick, University of Kent at Canterbury, UK
Graeme Smith, University of Queensland, Australia
