Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Description de l’éditeur
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
Informatique et Internet
SORTIE
2024
10 septembre
LANGUE
EN
Anglais
LONGUEUR
702
Pages
ÉDITIONS
Springer Nature Switzerland
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
58,9
Mo