Reference:

Ranjit Jhala, Rupak Majumdar, and Andrey Rybalchenko. Hmc: Verifying functional programs using abstract interpreters. In Gopalakrishnan and Qadeer, pages 470–485.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavJhalaMR11,
    author = {Ranjit Jhala and Rupak Majumdar and Andrey Rybalchenko},
    booktitle = {CAV},
    editor = {Ganesh Gopalakrishnan and Shaz Qadeer},
    pages = {470-485},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {HMC: Verifying Functional Programs Using Abstract Interpreters},
    volume = {6806},
    year = {2011}
}