Gå direkt till innehållet
Formal Methods
Spara

Formal Methods

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.

Undertitel
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Upplaga
2025 ed.
ISBN
9783031711619
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2024-09-11
Sidor
680