Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Frédéric Badeau
Latest
Modelling Dynamic Data Structures with the B Method
Cite
×