Training Videos
MOOC on B
20 videos covering basic aspects from modeling to code generation, proof, and project management
Atelier B Basic Training
Videos presenting the Atelier B tool through a number of basic interactions.
Last updated