Formal methods
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.
9783031711619 (pbk)
Software engineering
Artificial intelligence
Computer science--Computer applications --Computer programming --Formal verification--Testing--GGC--FC
005.14 / FOR
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.
9783031711619 (pbk)
Software engineering
Artificial intelligence
Computer science--Computer applications --Computer programming --Formal verification--Testing--GGC--FC
005.14 / FOR