Fioravanti, F., & Gallagher, J. P. (2020). Logic-Based Program Synthesis and Transformation. Springer International Publishing.
Chicago Style CitationFioravanti, Fabio, and John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
MLA CitationFioravanti, Fabio, and John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
Warning: These citations may not always be 100% accurate.