Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Nawfal Al Hashimy
Latest
Property Ownership Formal Modelling Using Event-B and iUML-B
Cite
×