STAC: Communication traces based specifications and tests of software components

Résumé : no abstract
Type de document :
Communication dans un congrès
Proc. of the 15th Nordic Workshop on Programming Theory (NWPT'03), 2003, Turku, Finland. 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00550377
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : lundi 27 décembre 2010 - 14:46:58
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00550377, version 1

Collections

Citation

Isabelle Simplot-Ryl, Mireille Clerbout, Arnaud Bailly. STAC: Communication traces based specifications and tests of software components. Proc. of the 15th Nordic Workshop on Programming Theory (NWPT'03), 2003, Turku, Finland. 2003. 〈inria-00550377〉

Partager

Métriques

Consultations de la notice

137