Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Matheus Garay Trindade
Latest
A Graphical Tool for Event Refinement Structures in Event-B
Cite
×