| |
| 1999 | ||
|---|---|---|
| 2 | Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux: Verification by Testing for Recursive Program Schemes. LOPSTR 1999: 255-272 | |
| 1998 | ||
| 1 | EE | Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux: Exploring the Software Development Trilogy. IEEE Software 15(6): 75-81 (1998) |
| 1 | Daniel Le Métayer | [1] [2] |
| 2 | Olivier Ridoux | [1] [2] |