Logic-Based Program Synthesis and Transformation

MLA

Hutchison, David, et al. Logic-based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Kittler, J., & Vidal, G. (2012). Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Germán Vidal. Logic-Based Program Synthesis and Transformation. : Springer Berlin Heidelberg, 2012.