Siirry suoraan sisältöön
Verified Software. Theories, Tools and Experiments
Tallenna

Verified Software. Theories, Tools and Experiments

Alaotsikko
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
ISBN
9783032273390
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
27.6.2026
Sivumäärä
110