Fioravanti, F., & Gallagher, J. P. (2020). Logic-Based Program Synthesis and Transformation. Springer International Publishing.
Chicago Style CitationFioravanti, Fabio, i John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
Cita MLAFioravanti, Fabio, i John P. Gallagher. Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2020.
Atenció: Aquestes cites poden no estar 100% correctes.