Alexis Fouilhé, David Monniaux, Michaël Périn. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.
20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365,
⟨10.1007/978-3-642-38856-9_19⟩.
⟨hal-00806990⟩