Formal Methods and Software Engineering
- Alaotsikko
- 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
- Toimittaja
- Étienne André, Wang Jingyi, Zhan Naijun
- ISBN
- 9789819542123
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 12.11.2025
- Kustantaja
- Springer Verlag Singapore
- Sivumäärä
- 392








































