F.-X. Defaut

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
Jahuel: A Formal Framework for Software Synthesis. ICFEM (2005)