Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Editors: Ábrahám, Erika, Huisman, Marieke (Eds.)
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies.
- Download Preface 1 PDF (49.7 KB)
- Download Sample pages 2 PDF (217.6 KB)
- Download Table of contents PDF (82.6 KB)
Buy this book

Services for this Book
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Integrated Formal Methods
- Book Subtitle
- 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
- Editors
-
- Erika Ábrahám
- Marieke Huisman
- Series Title
- Programming and Software Engineering
- Series Volume
- 9681
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-33693-0
- DOI
- 10.1007/978-3-319-33693-0
- Softcover ISBN
- 978-3-319-33692-3
- Edition Number
- 1
- Number of Pages
- XIV, 538
- Number of Illustrations and Tables
- 145 b/w illustrations
- Topics