51939612
9783319944593
Fioravanti, Fabio is the author of 'Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers', published 2018 under ISBN 9783319944593 and ISBN 3319944592.
[read more]