Tallenna
Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
- Alaotsikko
- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
- Toimittaja
- Sandrine Blazy, Marsha Chechik
- Painos
- 1st ed. 2016
- ISBN
- 9783319488684
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.11.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 199
