Artículo:

A provenly correct translation of fickle into java

Autor:

D. Ancona

C. Anderson

F. Damiani

S. Drossopoulou

P. Giannini

E. Zucca

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt