Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Julien Cervelle
Latest
Introducing Inductive Construction in B with the Theory Plugin
Cite
×