Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Thiago C. de Sousa
Latest
A Practical Event-B Refinement Method Based on a UML-Driven Development Process
Starting B Specifications from Use Cases
Cite
×