Vers une Théorie du Test des programmes à contraintes

Nadjib Lazaar 1 Arnaud Gotlieb 1 Yahia Lebbah 2, 3
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Non disponible
Type de document :
Communication dans un congrès
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.65-75, 2009
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00387850
Contributeur : Yves Deville <>
Soumis le : lundi 25 mai 2009 - 23:59:53
Dernière modification le : jeudi 9 février 2017 - 16:04:43
Document(s) archivé(s) le : jeudi 10 juin 2010 - 23:50:32

Fichier

paper_25.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00387850, version 1

Citation

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, 2009. <hal-00387850>

Partager

Métriques

Consultations de
la notice

369

Téléchargements du document

164