Spar
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.
- Undertittel
- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
- Redaktør
- Sandrine Blazy, Marsha Chechik
- Opplag
- 1st ed. 2016
- ISBN
- 9783319488684
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.11.2016
- Antall sider
- 199
