Nicolas Halbwachs. Détermination automatique de relations linéaires vérifiées par les variables d'un programme. PhD thesis, Joseph Fourier University, Grenoble, France, 1979. [doi]
@phdthesis{hal-420, title = {Détermination automatique de relations linéaires vérifiées par les variables d'un programme}, author = {Nicolas Halbwachs}, year = {1979}, url = {https://tel.archives-ouvertes.fr/tel-00288805}, researchr = {https://researchr.org/publication/hal-420}, cites = {0}, citedby = {0}, school = {Joseph Fourier University, Grenoble, France}, }