Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad, Valrie Bertin, F.-X. Defaut, Philippe Gerner, O. Quvreux, Sergio Yovine

Browse the full ICFEM paper archive.