gpetiot/phd-thesis

Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)

TeX