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...
| Autores principales: | , , , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2025
|
| Acceso en línea: | Ver este registro en EBSCOhost |