APA Citation

Vidal, G. (2012). Logic-Based Program Synthesis and Transformation: [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal. Berlin, Heidelberg: Springer.

Chicago Style Citation

Vidal, Germán. Logic-Based Program Synthesis and Transformation: [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / Edited By Germán Vidal. Berlin, Heidelberg: Springer, 2012.

MLA Citation

Vidal, Germán. Logic-Based Program Synthesis and Transformation: [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / Edited By Germán Vidal. Berlin, Heidelberg: Springer, 2012.

Warning: These citations may not always be 100% accurate.