SpringerLink (Online service) & Falaschi, M. (2015). Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (1st ed. 2015.). Springer International Publishing : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Moreno Falaschi. Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. 1st ed. 2015. Cham: Springer International Publishing : Imprint: Springer, 2015.
MLA (8th ed.) CitationSpringerLink (Online service) and Moreno Falaschi. Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. 1st ed. 2015. Springer International Publishing : Imprint: Springer, 2015.