Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers - Piskac, Ruzica; Piskac, Ruzica; Rümmer, Philipp; Rümmer, Philipp (Springer International Publishing : Imprint: Springer, 2018)