%0 Conference Paper %1 conf/flops/PrinceGM08 %A Prince, Rawle C. S. %A Ghani, Neil %A McBride, Conor %B FLOPS %D 2008 %E Garrigue, Jacques %E Hermenegildo, Manuel V. %I Springer %K %P 97-112 %T Proving Properties about Lists Using Containers. %U http://dblp.uni-trier.de/db/conf/flops/flops2008.html#PrinceGM08 %V 4989 %@ 978-3-540-78968-0

@inproceedings{conf/flops/PrinceGM08, added-at = {2023-12-12T21:55:48.000+0100}, author = {Prince, Rawle C. S. and Ghani, Neil and McBride, Conor}, biburl = {https://www.bibsonomy.org/bibtex/20ba384699dd06511aa2707709554b1ff/admin}, booktitle = {FLOPS}, crossref = {conf/flops/2008}, editor = {Garrigue, Jacques and Hermenegildo, Manuel V.}, ee = {http://dx.doi.org/10.1007/978-3-540-78969-7_9}, interhash = {44ba52f663bd1bf62f0992bfa02a5d82}, intrahash = {0ba384699dd06511aa2707709554b1ff}, isbn = {978-3-540-78968-0}, keywords = {}, pages = {97-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:55:48.000+0100}, title = {Proving Properties about Lists Using Containers.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2008.html#PrinceGM08}, volume = 4989, year = 2008 }