Search Results for Miller, Dale. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMiller$00252C$002bDale.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list 2024-12-25T20:53:17Z Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197592 2024-12-25T20:53:17Z 2024-12-25T20:53:17Z Author&#160;Hawblitzel, Chris. editor.&#160;Miller, Dale. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197063 2024-12-25T20:53:17Z 2024-12-25T20:53:17Z Author&#160;Gramlich, Bernhard. editor.&#160;Miller, Dale. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>