This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
| ISBN: | 9783031077265 |
| Publication date: | 1st June 2022 |
| Author: | International Conference on Integrated Formal Methods |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 373 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer hardware |
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
Integrated Formal Methods features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer hardware
Integrated Formal Methods is available in Paperback
Integrated Formal Methods was written by International Conference on Integrated Formal Methods and published by Springer an imprint of Springer International Publishing
Integrated Formal Methods has 373 pages
Yes it is part of Lecture Notes in Computer Science series
£58.49