%0 Conference Paper %1 conf/tap/DunetsSR08 %A Dunets, Andriy %A Schellhorn, Gerhard %A Reif, Wolfgang %B TAP %D 2008 %E Beckert, Bernhard %E Hähnle, Reiner %I Springer %K %P 99-115 %T Bounded Relational Analysis of Free Data Types. %U http://dblp.uni-trier.de/db/conf/tap/tap2008.html#DunetsSR08 %V 4966 %@ 978-3-540-79123-2

@inproceedings{conf/tap/DunetsSR08, added-at = {2023-12-13T09:56:43.000+0100}, author = {Dunets, Andriy and Schellhorn, Gerhard and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2afdeeb1837d00177841d690e88e52686/admin}, booktitle = {TAP}, crossref = {conf/tap/2008}, editor = {Beckert, Bernhard and Hähnle, Reiner}, ee = {https://doi.org/10.1007/978-3-540-79124-9_8}, interhash = {d3212559ba9839305f891e368de82347}, intrahash = {afdeeb1837d00177841d690e88e52686}, isbn = {978-3-540-79123-2}, keywords = {}, pages = {99-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:56:43.000+0100}, title = {Bounded Relational Analysis of Free Data Types.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2008.html#DunetsSR08}, volume = 4966, year = 2008 }