Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux. Verification by Testing for Recursive Program Schemes.
Lecture Notes in Computer Science, Springer, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272.
⟨10.1007/10720327_15⟩.
⟨hal-00783194⟩