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 (17η εκδ.)SpringerLink (Online service) και 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 εκδ.)SpringerLink (Online service) και 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.
