Pascale Le Gall

Les algebres etiquetees : une semantique pour les specifications algebriques fondee sur une utilisation systematique des termes. application au test de logiciel avec traitement d'exceptions

Pascale Le Gall, 1993 .