×
  • Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

    Moreno Falaschi (eds.)

Click on cover to enlarge.
Buy This Book
From Amazon.