Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury
Eerke Boiten, John Derrick,
«Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury»
Springer | ISBN: 3540213775 | 2004 | PDF | 541 pages | 9.89 MB
The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.