Overview
- 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)
Included in the following conference series:
Conference proceedings info: IFM 2013.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (29 papers)
-
Invited Paper 1
-
Invited Paper 2
-
Invited Paper 3
Other volumes
-
Integrated Formal Methods
Editors and Affiliations
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