Presentation to M2 STL students

On March 14th, 2014, we shall present to M2 STL students – Pierre & Marie Curie University in Paris, various industrial cases of the use of the formal B method.

Université - Jussieu