Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Karla Vanessa Morris Wright
Latest
Semantics Formalisation - From Event-B Contexts to Theories
Cite
×