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