Artículo:

Java bytecode verification via static single assignment form

Autor:

Andreas Gal

Christian W. Probst

Michael Franz:

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

4

Periodo:

Julio 2008

ISSN:

01640925

SrcID:

01640925-2008-04.txt