Spara
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.
- Undertitel
- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
- Redaktör
- Sandrine Blazy, Marsha Chechik
- Upplaga
- 1st ed. 2016
- ISBN
- 9783319488684
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-11-08
- Sidor
- 199
