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-Zitierstil (17. Ausg.)LOPSTR (Symposium) Hagenberg, Austria), SpringerLink (Online service), und 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-Zitierstil (9. Ausg.)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.