MPG.eBooks - Search Results - "Madrid"

Cover Image

1

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Published 2004

Springer Berlin Heidelberg

“...), Paphos, Cyprus (2001), and Madrid, Spain (2002)...”