UID:
almahu_9949301613502882
Format:
XV, 373 p. 120 illus., 48 illus. in color.
,
online resource.
Edition:
1st ed. 2022.
ISBN:
9783031077272
Series Statement:
Lecture Notes in Computer Science, 13274
Content:
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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031077265
Additional Edition:
Printed edition: ISBN 9783031077289
Language:
English
DOI:
10.1007/978-3-031-07727-2
URL:
https://doi.org/10.1007/978-3-031-07727-2
Bookmarklink
