Un parcours de la programmation à la preuve

: HDR

  • Catherine Dubois

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award2000
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