Search Results for Experimental art - Narrowed by: Compilers (Computer programs). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dExperimental$002bart$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-16T04:14:22Z Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612581 2026-03-16T04:14:22Z 2026-03-16T04:14:22Z Author&#160;Blazy, Sandrine. editor.&#160;Chechik, Marsha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616579 2026-03-16T04:14:22Z 2026-03-16T04:14:22Z Author&#160;Gurfinkel, Arie. editor.&#160;Seshia, Sanjit A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>