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

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Format: Buch
Sprache:Englisch
Veröffentlicht: Cham Springer 2025
2025
Schlagworte:
Formal methods (Computer science) > Congresses
ISBN:3031711769, 9783031711763
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Bibliographie: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