Artículo:

Newtonian Program Analysis

Autor:

J. Esparza

S. Kiefer

M. Luttenberger

Página:

Artículo 3

Publicación:

Journal of the ACM

Volúmen:

57

Número:

6

Periodo:

Octubre 2010

ISSN:

00045411

SrcID:

00045411-2010-06.txt