Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers - Blazy, Sandrine; Chechik, Marsha (Springer International Publishing : Imprint: Springer, 2016)