TY  - BOOK
AU  - ter Beek,Maurice H.
AU  - Monahan,Rosemary
TI  - Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031077272
U1  - 005.1 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer engineering
KW  - Computer networks 
KW  - Computer science
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Computer Engineering and Networks
KW  - Computer Science Logic and Foundations of Programming
KW  - Artificial Intelligence
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-07727-2
ER  -