Producing Certified Functional Code from Inductive Specifications. - Pierre-Nicolas Tollitte; David Delahaye; Catherine Dubois (CPP, 2012)

Extraction de code fonctionnel certifié à partir de spécifications inductives. (Extraction of Certified Functional Code from Inductive Specifications). - Pierre-Nicolas Tollitte (2013)