Logic Based Program Synthesis And Transformation 10th International Workshop Lopstr | Desertcart Hong Kong
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers: 2042 (Lecture Notes in Computer Science)
