TY  - BOOK
AU  - Andre Pllatzer (editor)
TI  - Formal methods: : 26th international symposium, fm 2024 milan, italy, september 9-13, 2024 proceedings, part I
SN  - 9783031711619 (pbk)
U1  - 005.14 
PY  - 2025///
CY  - Switzerland
PB  - Springer Nature 
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer science
KW  - Computer applications
KW  - Computer programming
KW  - Formal verification
KW  - Testing
KW  - GGC
KW  - FC
N1  - Includes bibliographical references and index
ER  -