Tutorials

This section contains several resources that would help beginners to feel at ease with B, Event-B and Atelier B: