Artículo:

Making abstract interpretations complete

Autor:

Roberto Giacobazzi

Francesco Ranzato

Francesca Scozzari

Página:

361

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

47

Número:

2

Periodo:

Marzo 2000

ISSN:

00045411

SrcID:

00045411-2000-02.TXT