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