Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2999)
Included in the following conference series:
Conference proceedings info: IFM 2004.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle.
Similar content being viewed by others
Table of contents (28 papers)
-
Front Matter
-
Contributed Papers
Other volumes
-
Integrated Formal Methods
Editors and Affiliations
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic Information
Book Title: Integrated Formal Methods
Book Subtitle: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Editors: Eerke A. Boiten, John Derrick, Graeme Smith
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b96106
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-21377-2Published: 24 March 2004
eBook ISBN: 978-3-540-24756-2Published: 05 March 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 548
Topics: Theory of Computation, Logics and Meanings of Programs, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters