B-Method – AdaCore micro-seminar

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

Ce contenu a été publié dans Event. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire