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

Uloženo v:
Podrobná bibliografie
Hlavní autoři: International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Médium: Kniha
Jazyk:angličtina
Vydáno: Cham Springer 2025
2025
Témata:
Formal methods (Computer science) > Congresses
ISBN:3031711769, 9783031711763
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Bibliografie: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