
Formal Methods and Software Engineering
- Undertittel
- 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
- Redaktør
- Étienne André, Jingyi Wang, Naijun Zhan
- ISBN
- 9789819542123
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.11.2025
- Antall sider
- 392
