%0 Generic %E Blazy, Sandrine, %E Chechik, Marsha, %@ 9783319488691 %T Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-319-48869-1