Composition Operators for Event-B. CO4EB Rodin plugin

Document type :
Conference papers
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-01103340
Contributor : Elodie Dubrac <>
Submitted on : Wednesday, January 14, 2015 - 3:06:06 PM
Last modification on : Thursday, October 24, 2019 - 2:44:09 PM

Identifiers

  • 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. ⟨hal-01103340⟩

Share

Metrics

Record views

270