Identifiant pérenne de la notice : 191544779
Notice de type
Personne
Combinaison des techniques de Bounded Model Checking et de Programmation par Contraintes
pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la
localisation d'erreurs / Mohammed Bekkouche ; sous la direction de Michel Rueher et
Hélène Collavizza. Thèse de doctorat : Informatique : Nice : 2015
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial