MPG.eBooks - Search Results - "Madrid, Spain"

Cover Image

1

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Published 2014

Springer International Publishing

“... Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain...”