@techreport{BM7c,
title = { Toward Certification for Free! },
author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
month = {Jul},
year = {2017},
howpublished = {HAL plateform},
institution = {Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, 38000 Grenoble, France},
team = {PACSS, , axe_FormalProofs},
}