Pierre-Nicolas Tollitte. Extraction de code fonctionnel certifié à partir de spécifications inductives. (Extraction of Certified Functional Code from Inductive Specifications). PhD thesis, Conservatoire national des arts et métiers, Paris, France, 2013. [doi]
Abstract is missing.