Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Type:

e-book

Titel:

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Auteur:

Andre Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne

Taal:

Engels

Uitgever:

Springer Nature 2025

ISBN:

3-031-71176-9
3-031-71177-7

Permalink:

http://bibtest.howest.be/catalog/ebk03:36015163700041