Réalisation d'un programme de vérification des invariants

  • Luc Simon

Student thesis: Master typesMaster en sciences informatiques

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

Contient cette citation

'