
Verified Software. Theories, Tools and Experiments
- Undertitel
- 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
- Redaktör
- Clément Pit-Claudel, Katherine Kosaian
- ISBN
- 9783032273390
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 27.6.2026
- Sidor
- 110