42135764
9783319178219
Proietti, Maurizio is the author of 'Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers', published 2015 under ISBN 9783319178219 and ISBN 3319178210.
[read more]