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 in Computer science

    Date of Award1998
    Original languageFrench
    SupervisorBaudouin LE CHARLIER (Supervisor)

    Cite this

    Documents

    '