Static analysis of arithmetic congruences (1989)

by P Granger
Venue:Int. Journal of Computer Mathematics