Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Laurent Voisin
Latest
Semantics Formalisation - From Event-B Contexts to Theories
Modelling Dynamic Data Structures with the B Method
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
The Rodin Platform Has Turned Ten
SMT Solvers for Rodin
A Roadmap for the Rodin Toolset
Cite
×