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

Vers une Théorie du Test des programmes à contraintes

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
paper_25.pdf (491.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Yves Deville  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00387850

Soumis le : lundi 25 mai 2009-23:59:53

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Archivage à long terme le : jeudi 10 juin 2010-23:50:32

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA I3S JFPC09 IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-COTEDAZUR UNIV-RENNES UR1-MATH-NUM
247 Consultations
128 Téléchargements

Partager

More