Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
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.
CHF 87.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Troubitsyna, Elena (Hrsg.)
- ISBN: 978-3-030-63461-2
- EAN: 9783030634612
- Produktnummer: 36917533
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 461 S.
- Plattform: PDF
- Masse: 19'269 KB
- Auflage: 1st ed. 2020
- Reihenbandnummer: 12546
10 weitere Werke von Brijesh (Hrsg.) Dongol:
Bewertungen
Anmelden