Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Christophe Métayer
Latest
Modelling Dynamic Data Structures with the B Method
DIR 41 Case Study
Cite
×