%0 Conference Paper %1 conf/padl/AntoyH12 %A Antoy, Sergio %A Hanus, Michael %B PADL %D 2012 %E Russo, Claudio V. %E Zhou, Neng-Fa %I Springer %K dblp %P 33-47 %T Contracts and Specifications for Functional Logic Programming. %U http://dblp.uni-trier.de/db/conf/padl/padl2012.html#AntoyH12 %V 7149 %@ 978-3-642-27693-4

@inproceedings{conf/padl/AntoyH12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Antoy, Sergio and Hanus, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2a60eba4ac838d8942bcce0df8f3913a3/dblp}, booktitle = {PADL}, crossref = {conf/padl/2012}, editor = {Russo, Claudio V. and Zhou, Neng-Fa}, ee = {https://doi.org/10.1007/978-3-642-27694-1_4}, interhash = {bb1c23c52ee03d2392336fe7839a8a88}, intrahash = {a60eba4ac838d8942bcce0df8f3913a3}, isbn = {978-3-642-27693-4}, keywords = {dblp}, pages = {33-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:58:18.000+0200}, title = {Contracts and Specifications for Functional Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2012.html#AntoyH12}, volume = 7149, year = 2012 }