Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Boiten, Eerke A. (Editor), Derrick, John (Editor), Smith, Graeme (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2999
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Logics and Meanings of Programs.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.

The fourth conference in the series of international meetings on Integrated F- mal 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 t...