Lecture 16: Structuring

89 Views

This video details the different ways of structuring a B project in order to lower the complexity of the modelling and to ease the proof.

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