Marie-Claude Gaudel
1
Documents
Présentation
see <https://www.lri.fr/~mcg/>
see <https://www.lri.fr/~mcg/>
Publications
- 1
|
Testing data types implementations from algebraic specificationsR. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78917-8_7⟩
Chapitre d'ouvrage
hal-00270574v1
|