Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings

Saved in:

Bibliographic Details
Main Authors:	International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Format:	Book
Language:	English
Published:	Cham Springer 2025 2025
Subjects:	Formal methods (Computer science) > Congresses
ISBN:	3031711769, 9783031711763
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!