Spar
Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 submissions.
The 19 full papers presented were carefully revised and selected from 24 submissions.
- Undertittel
- 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
- Redaktør
- Ruzica Piskac, Philipp Rümmer
- Opplag
- 1st ed. 2018
- ISBN
- 9783030035914
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.11.2018
- Antall sider
- 345
