Logic Based Program Synthesis and Transformation

MLA

Etalle, Sandro, Takeo Kanade, and Josef Kittler. Logic Based Program Synthesis and Transformation. Springer Berlin / Heidelberg, 2005.

APA

Etalle, S., Kanade, T., & Kittler, J. (2005). Logic Based Program Synthesis and Transformation. Springer Berlin / Heidelberg.

Chicago

Etalle, Sandro, Takeo Kanade, and Josef Kittler. Logic Based Program Synthesis and Transformation. : Springer Berlin / Heidelberg, 2005.