APA Style
Falaschi, M. (2015).
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers .
Cham:
Springer Cham.
MLA Style
Falaschi, Moreno.
"Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers".
Cham:
Springer Cham,
2015.
Text.