
Verified Software. Theories, Tools and Experiments
- Alaotsikko
- 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
- Toimittaja
- Clément Pit-Claudel, Katherine Kosaian
- ISBN
- 9783032273390
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.6.2026
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 110