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

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

Student thesis: Master typesMaster in Computer science