Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Springer International Publishing
2020
EPub, PDF
How do I buy e-book?
978-3-030-63461-2
3-030-63461-2
Annotation
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.