Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Kenza Kraibi
Latest
Event-B: From Systems to Sub-systems Modeling
Cite
×