| |
| 2005 | ||
|---|---|---|
| 1 | EE | Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine: Jahuel: A Formal Framework for Software Synthesis. ICFEM 2005: 204-218 |
| 1 | Ismail Assayad | [1] |
| 2 | Valérie Bertin | [1] |
| 3 | Philippe Gerner | [1] |
| 4 | O. Quévreux | [1] |
| 5 | Sergio Yovine | [1] |