Logic-Based Program Synthesis and Transformation: Revised Selected Papers/25th International Symposium, LOPSTR 2015, Siena, Italy, July 2015

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/25th International Symposium, LOPSTR 2015, Siena, Italy, July 2015Ed. by Falaschi M..-Berlin.: Springer, 2015.-Vol. 9527.-385 p.-(Lecture Notes in Computer Science).