Catégorie Chapitre d'ouvrage Auteurs Marie-Claude Gaudel Pascale Le Gall https://hal.science/hal-00270574v1 doc ID 270574 Nom Testing data types implementations from algebraic specifications Date de publication jeu 17/04/2025 - 12:00