Jean-Raymond Abrial, Stefan Hallerstede. Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae, 77(1-2):1-28, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.