| |
| 1998 | ||
|---|---|---|
| 1 | EE | Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre: How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. APSEC 1998: 38-45 |
| 1 | Jean-Luc Dormoy | [1] |
| 2 | Bruno Ginoux | [1] |
| 3 | Jean-Yves Lucas | [1] |
| 4 | Laurent Pierre | [1] |