![](/img/cover-not-exists.png)
Implementing and Reasoning About Hash-consed Data Structures in Coq
Braibant, Thomas, Jourdan, Jacques-Henri, Monniaux, DavidVolume:
53
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-014-9306-0
Date:
October, 2014
File:
PDF, 3.36 MB
english, 2014