Traduction de B vers des langages de programmation

Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), Jan 2003, Rennes, France. pp.87--102, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00392235
Contributeur : Nicolas Stouls <>
Soumis le : vendredi 5 juin 2009 - 19:07:28
Dernière modification le : mercredi 28 novembre 2018 - 09:36:02

Identifiants

  • HAL Id : inria-00392235, version 1

Collections

Citation

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Claude Métayer, Marie-Laure Potet, et al.. Traduction de B vers des langages de programmation. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'03), Jan 2003, Rennes, France. pp.87--102, 2003. 〈inria-00392235〉

Partager

Métriques

Consultations de la notice

133