Inférence de modèles dirigée par la logique métier

William Durand, sébastien Salva
June, 2014
PDF Cite
Type
Conference paper
Publication
AFADL (Approches Formelles dans l’Assistance au Développement de Logiciels)
IOSTS ; inférence de modèles ; test automatique