References

MOOC on the B method
MOOC - Massive Open Online Course
B Language Reference Manual
B language reference manual.pdf
3MB
PDF

B practitioners handbook (MATISSE project)
Practitioners-Handbook.pdf
1MB
PDF
B project managers handbook (MATISSE project)
ProjManagers-HandBook.pdf
465KB
PDF
B board-level handbook (MATISSE projet)
Boardlevel-handbook-13.pdf
264KB
PDF
Last modified 7mo ago
Copy link
On this page
Education
Online Resources