le calcul bleu: types et objets - LAAS-CNRS
corriger des erreurs. Chacune de ces activités peut bénéficier de l'apport des méthodes formelles et, en particulier, de l'apport des outils fournis par la ...
corriger des erreurs. Chacune de ces activités peut bénéficier de l'apport des méthodes formelles et, en particulier, de l'apport des outils fournis par la ...