APA (7th ed.) Citation

(2005). Logic based program synthesis and transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; revised papers. Springer. https://doi.org/10.1007/b137785

Chicago Style (17th ed.) Citation

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; Revised Papers. Berlin [u.a.]: Springer, 2005. https://doi.org/10.1007/b137785.

MLA (9th ed.) Citation

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; Revised Papers. Springer, 2005. https://doi.org/10.1007/b137785.