APA (7th ed.) Citation

(2011). Logic-based program synthesis and transformation: 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-642-20551-4

Chicago Style (17th ed.) Citation

Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-20551-4.

MLA (9th ed.) Citation

Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; Revised Selected Papers. Springer, 2011. https://doi.org/10.1007/978-3-642-20551-4.