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.
Titel
Verified Software. Theories, Tools, and Experiments
Untertitel
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
Editor
EAN
9783030035921
Format
E-Book (pdf)
Hersteller
Veröffentlichung
23.11.2018
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
345
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.