Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan
Contributor(s): ter Beek, Maurice H., editor literario | Monahan, Rosemary, editor literario
Material type:
E-bookSeries: (Lecture Notes in Computer Science, 1611-3349; 13274).Publisher: Cham : Springer International Publising, 2022Edition: First edition 2022.Description: 1 recurso en línea (XV, 373 páginas) : 120 ilustraciones, 48 ilustraciones a color.ISBN: 9783031077272.Subject: Lenguajes formales -- Congresos y asambleas
Online resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
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.
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.9.F67 2022 EB (Browse shelf(Opens below)) | Acceso electrónico | eBook.22092055 |
Total holds: 0
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.
There are no comments on this title.
Log in to your account to post a comment.