Logic-Based Program Synthesis and Transformation

MLA

Fioravanti, John P. Gallagher, and John P Gallagher. Logic-based Program Synthesis and Transformation. Springer International Publishing, 2018.

APA

Fioravanti, F., John P. Gallagher, J. P. Gallagher, & Gallagher, J. P. (2018). Logic-Based Program Synthesis and Transformation. Springer International Publishing.

Chicago

Fioravanti, John P. Gallagher, and John P Gallagher. Logic-Based Program Synthesis and Transformation. : Springer International Publishing, 2018.