Un parcours de la programmation à la preuve
: HDR

  • Catherine Dubois

Student thesis: Master types › Master in Computer science

Date of Award2000
Original languageFrench
SupervisorPierre Yves Schobbens (Supervisor)

Cite this

'