TY  - RPRT
TI  - Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
AU  - Alexis Fouilhé
AU  - David Monniaux
AU  - Michaël Périn
PY  - 2013
UR  - https://arxiv.org/abs/1304.0864
ID  - 1304.0864
ER  -