
Verified Software. Theories, Tools and Experiments
- Undertittel
- 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
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 27.6.2026
- Antall sider
- 110
