![Université – Jussieu Université - Jussieu](https://www.atelierb.eu/wp-content/uploads/2014/03/Jussieu-Fac.jpg)
Publié le 06/03/2014 |
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.
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.