@phdthesis{Dum00,
title = {M\'ethodes d\'eductives pour la preuve de programmes {L}ustre },
author = {Dumas Canovas, C\'ecile},
month = {nov},
year = {2000},
school = {Universit\'e Joseph Fourier},
team = {SYNC},
}
