Arthur Charguéraud. Program verification through characteristic formulae. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 321-332, ACM, 2010. [doi]
@inproceedings{Chargueraud10,
title = {Program verification through characteristic formulae},
author = {Arthur Charguéraud},
year = {2010},
doi = {10.1145/1863543.1863590},
url = {http://doi.acm.org/10.1145/1863543.1863590},
tags = {program verification},
researchr = {https://researchr.org/publication/Chargueraud10},
cites = {0},
citedby = {0},
pages = {321-332},
booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
editor = {Paul Hudak and Stephanie Weirich},
publisher = {ACM},
isbn = {978-1-60558-794-3},
}