Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers - Paskevich, Andrei.; Wies, Thomas. (Programming and Software Engineering ;, 2017)