Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Kimmo Varpaaniemi
Latest
Supporting Reuse in Event B Development: Modularisation Approach
Cite
×