Cita APA

SpringerLink (Online service), Hermenegildo, M. V., & Lopez-Garcia, P. (2017). Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (1st ed. 2017.). Cham: Springer International Publishing : Imprint: Springer.

Citación estilo Chicago

SpringerLink (Online service), Manuel V. Hermenegildo, y Pedro Lopez-Garcia. Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. 1st ed. 2017. Cham: Springer International Publishing : Imprint: Springer, 2017.

Cita MLA

SpringerLink (Online service), Manuel V. Hermenegildo, y Pedro Lopez-Garcia. Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. 1st ed. 2017. Cham: Springer International Publishing : Imprint: Springer, 2017.