Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
André Platzer (editor), Kristin Yvonne Rozier (editor), Matteo Pradella (editor), Matteo Rossi (editor)
Paperback Published on: 11/09/2024
Price: £34.99
Publisher information
- Publisher: Springer International Publishing AG
- ISBN: 9783031711619
- Number of pages: 680
- Dimensions: 235 x 155 mm
- Languages: English


