Vers une Théorie du Test des programmes à contraintes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Vers une Théorie du Test des programmes à contraintes

Résumé

Non disponible
Fichier principal
Vignette du fichier
paper_25.pdf (491.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00387850 , version 1 (25-05-2009)

Identifiants

  • HAL Id : hal-00387850 , version 1

Citer

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. Vers une Théorie du Test des programmes à contraintes. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.65-75. ⟨hal-00387850⟩
233 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More