Implémentation des suites et ensembles pour un langage de programmation permettant l'expression d'assertions

  • Menayame Wenzi

Student thesis: Master typesMaster en sciences informatiques

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

Contient cette citation

'