APA (7th ed.) Citation
Lopez-Garcia, P., Gallagher, J. P., & Giacobazzi, R. (2023). Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Springer Nature.
Chicago Style (17th ed.) Citation
Lopez-Garcia, Pedro, John P. Gallagher, and Roberto Giacobazzi. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Springer Nature, 2023.
MLA (9th ed.) Citation
Lopez-Garcia, Pedro, et al. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Springer Nature, 2023.
Warning: These citations may not always be 100% accurate.