Cita APA (7th ed.)

(2012). Logic-based program synthesis and transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers / [edited by] Germán Vidal.

Cita Chicago (17th ed.)

Logic-based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, Revised Selected Papers / [edited by] Germán Vidal. 2012.

Cita MLA (9th ed.)

Logic-based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, Revised Selected Papers / [edited by] Germán Vidal. 2012.