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 (1st ed. 2015.). Springer International Publishing : Imprint: Springer.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Maurizio Proietti, et Hirohisa Seki. Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. 1st ed. 2015. Cham: Springer International Publishing : Imprint: Springer, 2015.
Style de citation MLA (8e éd.)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. 1st ed. 2015. Springer International Publishing : Imprint: Springer, 2015.