Andre Pllatzer (editor)  Kristin Yvonne Rozier  (editor)  Matteo Pradella  (editor)  Matteo Rossi  (editor) <br/><br/>
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 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9783031711619 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering<br/>Artificial intelligence<br/>Computer science--Computer applications --Computer programming --Formal verification--Testing--GGC--FC
<br/><br/><label>Dewey Class. No.: </label>005.14  / FOR