Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Paulo Sérgio Muniz Silva
Latest
A Practical Event-B Refinement Method Based on a UML-Driven Development Process
Cite
×