Lecture 03: The concepts of B

339 Views

This video presents the founding notions of B: projects, libraries, modules, components, abstract machine, refinement, implementation, and proof.

Supplementary material

Sign in to receive news from MOOC IMD and to access course forums.