Artículo:

Analysis of Modular Arithmetic.

Autor:

Müller-Olm, Markus

Seidl, Helmut

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

5

Periodo:

Septiembre 2007

ISSN:

01640925

SrcID:

01640925-2007-05.txt