Opening book details…
Can I read Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12546) on EtoBox?
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12546) by Brijesh Dongol, Elena Troubitsyna is a computer science book available to read on EtoBox.
What is Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12546) about?
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; St
Who reads Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12546)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Brijesh Dongol, Elena Troubitsyna
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2020
- Language
- EN
- ISBN
- 9783030634605
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Brijesh Dongol, Elena Troubitsyna
Browse all works by Brijesh Dongol, Elena Troubitsyna
Similar books
- Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings (lecture Notes In Computer Science) — Christel Baier (auth.), Dominique Méry, Stephan Merz (2010)
- Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321) — Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (2012)
- Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591) — Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (2007)
- Integrated Formal Methods [recurso electrónico] 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings — Elvira Albert and Emil Sekerinski (2014)
- Smart Card Research and Advanced Applications 16th International Conference, CARDIS 2017, Lugano, Switzerland, November 13{u2013}15, 2017, Revised Selected Papers — Yannick Teglia Thomas Eisenbarth (2018)
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings — Stephan Merz and Jun Pang (2014)