Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings / Maurice H. ter Beek, Rosemary Monahan (eds.).
2022
QA76.9.F67
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Integrated formal methods : 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings / Maurice H. ter Beek, Rosemary Monahan (eds.).
Meeting Name
ISBN
9783031077272 (electronic bk.)
303107727X (electronic bk.)
9783031077265
3031077261
303107727X (electronic bk.)
9783031077265
3031077261
Published
Cham : Springer, [2022]
Copyright
©2022
Language
English
Description
1 online resource : illustrations (some color).
Item Number
10.1007/978-3-031-07727-2 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
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.
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 9, 2022).
Series
Lecture notes in computer science ; 13274.
Available in Other Form
Print version: 9783031077265
Linked Resources
Record Appears in