Explicitation du contrôle de développement B événementiel

Type de document :
Communication dans un congrès
Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), Jun 2004, besançon, France. pp.13--27, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00384201
Contributeur : Nicolas Stouls <>
Soumis le : jeudi 14 mai 2009 - 15:59:16
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33

Identifiants

  • HAL Id : inria-00384201, version 1

Collections

IMAG | UGA

Citation

Marie-Laure Potet, Nicolas Stouls. Explicitation du contrôle de développement B événementiel. Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), Jun 2004, besançon, France. pp.13--27, 2004. 〈inria-00384201〉

Partager

Métriques

Consultations de la notice

78