Producing Certified Functional Code from Inductive Specifications.

Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois

Browse the full CPP paper archive.