Alberto Pettorossi
AuthID: R-00J-554
1
TÃTULO: Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers
AUTORES: Alberto Pettorossi;
PUBLICAÇÃO: 2001, FONTE: LOPSTR, VOLUME: 2372
AUTORES: Alberto Pettorossi;
PUBLICAÇÃO: 2001, FONTE: LOPSTR, VOLUME: 2372
INDEXADO EM: 
DBLP
DBLP