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é, Wang Jingyi, Zhan Naijun
- ISBN
- 9789819542123
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 2025-11-12
- Sidor
- 392









































