Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Rajiv Murali
Latest
UC-B: Use Case Modelling with Event-B
Cite
×