Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

MLA

Proietti, and Hirohisa Seki. Logic-based Program Synthesis and Transformation: 24th International Symposium, Lopstr 2014, Canterbury, Uk, September 9-11, 2014. Revised Selected Papers. Springer International Publishing, 2015.

APA

Proietti, P., & Seki, H. (2015). Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Springer International Publishing.

Chicago

Proietti, and Hirohisa Seki. Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. : Springer International Publishing, 2015.