Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Descrição da editora
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
Computadores e Internet
LANÇADO
2024
10 de setembro
IDIOMA
EN
Inglês
PÁGINAS
702
EDITORA
Springer Nature Switzerland
VENDEDOR
Springer Nature B.V.
TAMANHO
58,9
MB