Editors:
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7940)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): IFM: International Conference on Integrated Formal Methods
Conference proceedings info: IFM 2013.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (29 papers)
-
Front Matter
-
Invited Paper 1
-
Invited Paper 2
-
Invited Paper 3
About this book
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Editors and Affiliations
-
Department of Informatics, University of Oslo, Oslo, Norway
Einar Broch Johnsen
-
Department of Information Technologies, Åbo Akademi University, Turku, Finland
Luigia Petre
Bibliographic Information
Book Title: Integrated Formal Methods
Book Subtitle: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Editors: Einar Broch Johnsen, Luigia Petre
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-38613-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-38612-1Published: 24 May 2013
eBook ISBN: 978-3-642-38613-8Published: 13 May 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 443
Number of Illustrations: 95 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages