Logic-Based Program Synthesis and Transformation

MLA

Mesnard, and Peter J Stuckey. Logic-based Program Synthesis and Transformation. Springer International Publishing, 2019.

APA

Mesnard, M., & Stuckey, P. J. (2019). Logic-Based Program Synthesis and Transformation. Springer International Publishing.

Chicago

Mesnard, and Peter J Stuckey. Logic-Based Program Synthesis and Transformation. : Springer International Publishing, 2019.