Fourth International Conference on Integrated Formal Methods
4-7 April 2004 in Canterbury, Kent, England
Contact the Organisers
Eerke Boiten, University of Kent, UK
John Derrick, University of Kent, UK
|
|
Fourth International Conference on Integrated Formal Methods 4-7 April 2004 in Canterbury, Kent, England |
|||
Contact the OrganisersEerke Boiten, University of Kent, UK |
||||
|
Hosted by Computer Science @ Kent |
This page is maintained by
Marcel Oliveira. |