Logic-Based Program Synthesis and Transformation

MLA

Gupta, and Ricardo Peña. Logic-based Program Synthesis and Transformation. Springer International Publishing, 2014.

APA

Gupta, G., & Peña, R. (2014). Logic-Based Program Synthesis and Transformation. Springer International Publishing.

Chicago

Gupta, and Ricardo Peña. Logic-Based Program Synthesis and Transformation. : Springer International Publishing, 2014.