Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Issam Maamria
Latest
Event-B Code Generation: Type Extension with Theories
On an Extensible Rule-Based Prover for Event-B
Cite
×