Methods
Conferences
Case Studies
Publications
Keynotes
Committee
David Schneider 0001
Latest
Using B and ProB for Data Validation Projects
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge
Cite
×