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