Spar
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.
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.
- Undertittel
- 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
- Opplag
- 2025 ed.
- ISBN
- 9783031711763
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.9.2024
- Antall sider
- 652
