%0 Conference Paper %1 conf/cade/ReynoldsBCT16 %A Reynolds, Andrew %A Blanchette, Jasmin Christian %A Cruanes, Simon %A Tinelli, Cesare %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K %P 133-151 %T Model Finding for Recursive Functions in SMT. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#ReynoldsBCT16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/ReynoldsBCT16, added-at = {2023-12-14T16:30:06.000+0100}, author = {Reynolds, Andrew and Blanchette, Jasmin Christian and Cruanes, Simon and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/286ef359dbca088334616e9753ba086af/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_10}, interhash = {f8e7529ae3e1529e2c987cf9eaf5e8b6}, intrahash = {86ef359dbca088334616e9753ba086af}, isbn = {978-3-319-40228-4}, keywords = {}, pages = {133-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:30:06.000+0100}, title = {Model Finding for Recursive Functions in SMT.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#ReynoldsBCT16}, volume = 9706, year = 2016 }