How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.

Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre

Browse the full APSEC paper archive.