Logic Based Program Synthesis and Transformation, 11Th International Workshop, Lopstr 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers
AuthID
P-00F-ZGH
P-00F-ZGH
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service