APA (7th ed.) Citation

SpringerLink (Online service) & Vidal, G. (2012). Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.

MLA (8th ed.) Citation

SpringerLink (Online service) and Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer, 2012.