Jean Louis Dufour (Sagem Défense & Sécurité, ), will come to the AdaCore Paris offices to give a 101 introduction to the B-Method (June 26, 2012 – Paris, France)
Source: adacore internal seminar
B-Method – AdaCore micro-seminar
Ce contenu a été publié dans Event. Vous pouvez le mettre en favoris avec ce permalien.