Détermination automatique de relations linéaires vérifiées par les variables d’un programme. Universit’e scientifique et médicale de Grenoble (1979)

by N Halbwachs