
Software Engineering and Formal Methods
- Undertitel
- 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
- Redaktör
- Domenico Bianculli, Elena Gómez-Martínez
- ISBN
- 9783032104434
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2025-11-12
- Sidor
- 280
