
Formal Methods and Software Engineering
- Undertitel
- 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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2025-11-25
- Sidor
- 392
