Determination Automatique de Relations Lineaires Veri par les Variables d'un Programme (1979)

by N Halbwachs