%0 Conference Paper %1 conf/cade/ClaessenJRS12 %A Claessen, Koen %A Johansson, Moa %A Rosén, Dan %A Smallbone, Nicholas %B ATx/WInG@IJCAR %D 2012 %E Fleuriot, Jacques D. %E Höfner, Peter %E McIver, Annabelle %E Smaill, Alan %I EasyChair %K %P 16-25 %T HipSpec: Automating Inductive Proofs of Program Properties. %U http://dblp.uni-trier.de/db/conf/cade/atx-wing2012.html#ClaessenJRS12 %V 17

@inproceedings{conf/cade/ClaessenJRS12, added-at = {2023-12-13T03:47:27.000+0100}, author = {Claessen, Koen and Johansson, Moa and Rosén, Dan and Smallbone, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/20e8ceb981e7c385cd424ccedc52baa2f/admin}, booktitle = {ATx/WInG@IJCAR}, crossref = {conf/cade/2012atx}, editor = {Fleuriot, Jacques D. and Höfner, Peter and McIver, Annabelle and Smaill, Alan}, ee = {https://easychair.org/publications/paper/Kb7}, interhash = {8eec6e74bc96e3115822072fd2cae222}, intrahash = {0e8ceb981e7c385cd424ccedc52baa2f}, keywords = {}, pages = {16-25}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-13T03:47:27.000+0100}, title = {HipSpec: Automating Inductive Proofs of Program Properties.}, url = {http://dblp.uni-trier.de/db/conf/cade/atx-wing2012.html#ClaessenJRS12}, volume = 17, year = 2012 }