54210498
9783030138370
Mesnard, Fred is the author of 'Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers', published 2019 under ISBN 9783030138370 and ISBN 3030138372.
[read more]