![]() | ![]() |
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] |