Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Publisher Description
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
Computing & Internet
RELEASED
2024
10 September
LANGUAGE
EN
English
LENGTH
702
Pages
PUBLISHER
Springer Nature Switzerland
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
58.9
MB