APA Style

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

MLA Style

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