35262280
9783642381966
Albert, Elvira is the author of 'Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers', published 2013 under ISBN 9783642381966 and ISBN 3642381960.
[read more]