%0 Journal Article %1 journals/corr/BraibantJM13 %A Braibant, Thomas %A Jourdan, Jacques-Henri %A Monniaux, David %D 2013 %J CoRR %K %T Implementing and reasoning about hash-consed data structures in Coq. %U http://dblp.uni-trier.de/db/journals/corr/corr1311.html#BraibantJM13 %V abs/1311.2959

@article{journals/corr/BraibantJM13, added-at = {2023-12-13T00:17:24.000+0100}, author = {Braibant, Thomas and Jourdan, Jacques-Henri and Monniaux, David}, biburl = {https://www.bibsonomy.org/bibtex/299afc47e73b71ba1971c3269289022a5/admin}, ee = {http://arxiv.org/abs/1311.2959}, interhash = {614a7488402c7da20e7d5bd4c3b0f8d0}, intrahash = {99afc47e73b71ba1971c3269289022a5}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:17:24.000+0100}, title = {Implementing and reasoning about hash-consed data structures in Coq.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1311.html#BraibantJM13}, volume = {abs/1311.2959}, year = 2013 }