Logic-Based Program Synthesis and Transformation

MLA

Hermenegildo, and Pedro Lopez-Garcia. Logic-based Program Synthesis and Transformation. Springer International Publishing, 2017.

APA

Hermenegildo, H., & Lopez-Garcia, P. (2017). Logic-Based Program Synthesis and Transformation. Springer International Publishing.

Chicago

Hermenegildo, and Pedro Lopez-Garcia. Logic-Based Program Synthesis and Transformation. : Springer International Publishing, 2017.