Bruno Marre. Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 213, 1989.
Abstract is missing.