Un parcours de la programmation à la preuve

: HDR

  • Catherine Dubois

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

la date de réponse2000
langue originaleFrançais
SuperviseurPIERRE-YVES SCHOBBENS (Promoteur)

Contient cette citation

Un parcours de la programmation à la preuve: HDR
Dubois, C. (Auteur). 2000

Thèse de l'étudiant: Master typesMaster en sciences informatiques