Un parcours de la programmation à la preuve
: HDR

  • Catherine Dubois

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award2000
Original languageFrench
SupervisorPIERRE-YVES SCHOBBENS (Supervisor)

Cite this

'