Logic-Based Program Synthesis and Transformation

MLA

Maribel Fernández. Logic-based Program Synthesis and Transformation. Springer International Publishing, 2021.

APA

Maribel Fernández, M. Fernández. (2021). Logic-Based Program Synthesis and Transformation. Springer International Publishing.

Chicago

Maribel Fernández Logic-Based Program Synthesis and Transformation. : Springer International Publishing, 2021.