00716nam a22001457a 4500 0 0 0 0 PTR PTR 2026-01-20 Purchased: Progressive International Agencies 9442.00 0 005.14 FOR 110543 2026-01-20 00:00:00 1 16230145 2026-01-20 BK Part- 1 60152 60152 9783031711619 (pbk) 005.14 FOR Andre Pllatzer (editor) Kristin Yvonne Rozier (editor) Matteo Pradella (editor) Matteo Rossi (editor) Formal methods : 26th international symposium, fm 2024 milan, italy, september 9-13, 2024 proceedings, part I Switzerland Springer Nature 2025 xxii, 680 p. : ill. ; 24 cm Includes bibliographical references and index. Software engineering Artificial intelligence Computer science Computer applications Computer programming Formal verification Testing GGC FC BK