Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Full text!
Format:
e-book
Title:
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Author:
André Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Language:
English
Publisher:
Springer Nature 2024
ISBN:
3-031-71161-0
3-031-71162-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:34985368400041?locale=en