CITATION STYLE
Mostowski, W. (2016). Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (pp. 124–141). Springer International Publishing. Retrieved from http://dx.doi.org/10.1007/978-3-319-29613-5_8
Mendeley helps you to discover research relevant for your work.