Actions for Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Email RIS file
Bookmark
Report an Issue

Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan

Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition
1st ed. 2022.
Physical Description
XV, 373 p. 120 illus., 48 illus. in color. online resource
Additional Creators
ter Beek, Maurice H., Monahan, Rosemary, and SpringerLink (Online service)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Summary
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.
Subject(s)
ISBN
9783031077272
Digital File Characteristics
text file PDF
Part Of
Springer Nature eBook
View MARC record | catkey: 37759346