
Software Engineering and Formal Methods
- Alaotsikko
- 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
- Toimittaja
- Domenico Bianculli, Elena Gómez-Martínez
- ISBN
- 9783032104434
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.11.2025
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 280