Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Descripción editorial
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.
GÉNERO
Informática e Internet
PUBLICADO
2024
10 de septiembre
IDIOMA
EN
Inglés
EXTENSIÓN
702
Páginas
EDITORIAL
Springer Nature Switzerland
VENDEDOR
Springer Nature B.V.
TAMAÑO
58.9
MB