@inproceedings{BM5,
title = { Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra },
author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
year = {2015},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP} 2015, Nanjing, China, August 24-27, 2015, Proceedings},
pages = {100--116},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9236},
team = {DCS, PACSS, , axe_FormalProofs},
}