Integrated Formal Methods: 17Th International Conference, Ifm 2022, Lugano, Switzerland, June 710, 2022, Proceedings (Lecture Notes In Computer Science, 13274)
Springer
ISBN13:
9783031077265
$87.33
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.
- | Author: Maurice H. ter Beek|Rosemary Monahan
- | Publisher: Springer
- | Publication Date: Jun 01, 2022
- | Number of Pages: 388 pages
- | Language: English
- | Binding: Paperback/Computers
- | ISBN-10: 3031077261
- | ISBN-13: 9783031077265
- Author:
- Maurice H. ter Beek, Rosemary Monahan
- Publisher:
- Springer
- Publication Date:
- Jun 01, 2022
- Number of pages:
- 388 pages
- Language:
- English
- Binding:
- Paperback/Computers
- ISBN-10:
- 3031077261
- ISBN-13:
- 9783031077265