This section contains several resources that would help beginners to feel at ease with B, Event-B and Atelier B:
- Atelier B 4 in a nutshell
- Frequently Asked Questions
- Description of the languages involved in Atelier B
- Hints about modelling in B and in Event-B
- For adanced users, how to write mathematical rules