Logic-Based Program Synthesis and Transformation

MLA

Puebla, Germán, Takeo Kanade, and Josef Kittler. Logic-based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2007.

APA

Puebla, G., Kanade, T., & Kittler, J. (2007). Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg.

Chicago

Puebla, Germán, Takeo Kanade, and Josef Kittler. Logic-Based Program Synthesis and Transformation. : Springer Berlin Heidelberg, 2007.