Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen: Result Certification of Static Program Analysers with Automated Theorem Provers. VSTTE 2013: 304-325