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