Concepedia
Publication | Closed Access
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
220
Citations
6
References
2007
Year
Unknown Venue
<br/>
Page 1