Formal methods 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings

Bibliographische Detailangaben

Körperschaft:	International Symposium on Formal Methods (VerfasserIn)
Weitere Verfasser:	Platzer, André (HerausgeberIn), Rozier, Kristin Yvonne (HerausgeberIn), Pradella, Matteo (HerausgeberIn), Rossi, Matteo (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2025
Schriftenreihe:	Lecture notes in computer science Formal methods
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!