| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Formal methodsedited by André Platzer ... [et al.]. |
| Reminder of title: |
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings. |
| remainder title: |
FM 2024 |
| other author: |
Platzer, André. |
| corporate name: |
|
| Published: |
Cham :Springer Nature Switzerland :2025. |
| Description: |
xxii, 680 p. :ill. (some col.), digital ;24 cm. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) |
| Online resource: |
https://doi.org/10.1007/978-3-031-71162-6 |
| ISBN: |
9783031711626$q(electronic bk.) |