%0 Conference Paper %1 conf/ppdp/BacciCFV12 %A Bacci, Giovanni %A Comini, Marco %A Feliú, Marco Antonio %A Villanueva, Alicia %B PPDP %D 2012 %E Schreye, Danny De %E Janssens, Gerda %E King, Andy %I ACM %K dblp %P 25-34 %T Automatic synthesis of specifications for first order curry programs. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2012.html#BacciCFV12 %@ 978-1-4503-1522-7

@inproceedings{conf/ppdp/BacciCFV12, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bacci, Giovanni and Comini, Marco and Feliú, Marco Antonio and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/202e33869040d543d49a158c1526bc2bc/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2012}, editor = {Schreye, Danny De and Janssens, Gerda and King, Andy}, ee = {https://doi.org/10.1145/2370776.2370781}, interhash = {5646c844f5a53feb1f2a2b59a4453eb4}, intrahash = {02e33869040d543d49a158c1526bc2bc}, isbn = {978-1-4503-1522-7}, keywords = {dblp}, pages = {25-34}, publisher = {ACM}, timestamp = {2024-04-10T05:43:12.000+0200}, title = {Automatic synthesis of specifications for first order curry programs.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2012.html#BacciCFV12}, year = 2012 }