
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é, Jingyi Wang, Naijun Zhan
- ISBN
- 9789819542123
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.11.2025
- Kustantaja
- SPRINGER VERLAG, SINGAPORE
- Sivumäärä
- 392