Composition Operators for Event-B. CO4EB Rodin plugin - CentraleSupélec Access content directly
Conference Papers Year : 2014
No file

Dates and versions

hal-01103340 , version 1 (14-01-2015)

Identifiers

  • HAL Id : hal-01103340 , version 1

Cite

Idir Ait-Sadoune, Yamine Aït-Ameur. Composition Operators for Event-B. CO4EB Rodin plugin. Rodin Workshop 2014, Jun 2014, Toulouse, France. ⟨hal-01103340⟩
135 View
0 Download

Share

Gmail Facebook X LinkedIn More