Atelier B Download MOOC on the B Method Collection of Formal Specification

References

B Language Reference Manual

B practitioners handbook (MATISSE project)

B project manager handbook (MATISSE project)

B board level handbook (MATISSE project)

PreviousGlossaryNextFrequently Asked Questions

Last updated