Définition et implémentation d'un langage graphique pour la description d'assertions

  • Olivier Detiège
  • Xavier Zébier

    Student thesis: Master types › Master en sciences informatiques

    la date de réponse1998
    langue originaleFrançais
    SuperviseurBaudouin LE CHARLIER (Promoteur)

    Contient cette citation

    Les documents

    '