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

  • Menayame Wenzi

Student thesis: Master types › Master in Computer science

Date of Award1977
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

Documents

'