References

Education
MOOC on the B method
MOOC - Massive Open Online Course
B Language Reference Manual
B language reference manual.pdf
3MB
PDF
Online Resources
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

Glossary

Last modified 1yr ago