APA (7th ed.) Citation

SpringerLink (Online service), 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. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Maurizio Proietti, and Hirohisa Seki. Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Cham: Springer International Publishing : Imprint: Springer, 2015.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Springer International Publishing : Imprint: Springer, 2015.

Warning: These citations may not always be 100% accurate.