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.
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.