Composition Operators for Event-B. CO4EB Rodin plugin

Type de document :
Communication dans un congrès
Rodin Workshop 2014, Jun 2014, Toulouse, France. Proceedings of the 5th Rodin User and Developer Workshop, 2014
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01103340
Contributeur : Elodie Dubrac <>
Soumis le : mercredi 14 janvier 2015 - 15:06:06
Dernière modification le : mercredi 23 mai 2018 - 17:58:06

Identifiants

  • HAL Id : hal-01103340, version 1

Citation

Idir Ait-Sadoune, Yamine Ait Ameur. Composition Operators for Event-B. CO4EB Rodin plugin. Rodin Workshop 2014, Jun 2014, Toulouse, France. Proceedings of the 5th Rodin User and Developer Workshop, 2014. 〈hal-01103340〉

Partager

Métriques

Consultations de la notice

132