Alberto Pettorossi
AuthID: R-00J-554
1
TITLE: Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers
AUTHORS: Alberto Pettorossi;
PUBLISHED: 2001, SOURCE: LOPSTR, VOLUME: 2372
AUTHORS: Alberto Pettorossi;
PUBLISHED: 2001, SOURCE: LOPSTR, VOLUME: 2372
INDEXED IN: 
DBLP
DBLP