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!
Description
Bibliography:Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references and index
Other editors: Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
ISBN:3031711769
9783031711763