Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings / / edited by Maurice H. ter Beek, Rosemary Monahan
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings / / edited by Maurice H. ter Beek, Rosemary Monahan
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Edizione: | 1st ed. 2022. |
| Descrizione fisica: | 1 online resource (372 pages) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Software engineering |
| Computer engineering | |
| Computer networks | |
| Computer science | |
| Artificial intelligence | |
| Software Engineering | |
| Computer Engineering and Networks | |
| Computer Science Logic and Foundations of Programming | |
| Artificial Intelligence | |
| Persona (resp. second.): | BeekMaurice H. ter |
| MonahanRosemary | |
| Note generali: | Includes index. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Integrated Formal Methods |
| ISBN: | 3-031-07727-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910574058803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 13274