APA (7th ed.) Citation

LOPSTR (Symposium) Hagenberg, Austria), SpringerLink (Online service), & Alpuente, M. (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

LOPSTR (Symposium) Hagenberg, Austria), SpringerLink (Online service), and Maria Alpuente. Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20551-4.

MLA (9th ed.) Citation

LOPSTR (Symposium) Hagenberg, Austria), et al. 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.