Staff view

You must be logged in to Tag Records
APA Citation

Gurfinkel, Arie,Seshia, Sanjit A.. (Eds.) () Verified Software: Theories, Tools, and Experiments :7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

MLA Citation

Gurfinkel, Arie,Seshia, Sanjit A.,eds. Verified Software: Theories, Tools, And Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. : . Print.