Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Beschreibung des Verlags
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
GENRE
Computer und Internet
ERSCHIENEN
2024
10. September
SPRACHE
EN
Englisch
UMFANG
702
Seiten
VERLAG
Springer Nature Switzerland
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
58,9
MB