Résultats de la recherche - Naftalin, Maurice 1951-

  • Résultat(s) 1 - 1 résultats de 1
Affiner les résultats
  1. 1

    FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    Publié 1994
    Livre


    Image de couverture de livre

Outils de recherche: