Définition d'un langage de programmation permettant l'expression d'assertions

  • Denis Fisette

Student thesis: Master typesMaster en sciences informatiques

la date de réponse1985
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

'