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

Uložené v:
Podrobná bibliografia
Hlavní autori: International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Cham Springer 2025
2025
Predmet:
ISBN:9783031711619, 3031711610
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.