Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jennifer Sorge
Latest
A Basis for Feature-Oriented Modelling in Event-B
Cite
×