A Certified Multi-prover Verification Condition Generator. - Paolo Herms; Claude Marché; Benjamin Monate (VSTTE, 2012)

Certification of a Tool Chain for Deductive Program Verification. (Certification d'une chaine de vérification déductive de programmes). - Paolo Herms (2013)