Search Results for Seshia, Sanjit A.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSeshia$00252C$002bSanjit$002bA.$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-02T22:22:35ZVerified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-06-02T22:22:35Z2026-06-02T22:22:35ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762026-06-02T22:22:35Z2026-06-02T22:22:35ZAuthor Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>