Analysis of modular arithmetic (2005)

by M Müller-Olm, H Seidl
Venue:In Proc. of the 14th European Symp. on Prog. (ESOP’05), volume 3444 of LNCS