APA (7th ed.) Citation

LOPSTR (Symposium) Valencia, Spain), SpringerLink (Online service), & Hanus, M. (2009). Logic-based program synthesis and transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers. Springer. https://doi.org/10.1007/978-3-642-00515-2

Chicago Style (17th ed.) Citation

LOPSTR (Symposium) Valencia, Spain), SpringerLink (Online service), and Michael Hanus. Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : Revised Selected Papers. Berlin: Springer, 2009. https://doi.org/10.1007/978-3-642-00515-2.

MLA (9th ed.) Citation

LOPSTR (Symposium) Valencia, Spain), et al. Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : Revised Selected Papers. Springer, 2009. https://doi.org/10.1007/978-3-642-00515-2.