26592981
9783642125911
De Schreye, Danny is the author of 'Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers', published 2010 under ISBN 9783642125911 and ISBN 3642125913.
[read more]