Jean-Raymond Abrial 人物

关系图谱

Jean-Raymond Abrial · 相关论文

Modeling in Event-B
2010Cambridge University Press eBooks引用 1209
Rodin: an open toolset for modelling and reasoning in Event-B
2010International Journal on Software Tools for Technology Transfer引用 670
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
2007引用 222