APA (7th ed.) Citation

Lopez-Garcia, P., Gallagher, J. P., & Giacobazzi, R. (2023). Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (1st ed. 2023.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-31476-6

Chicago Style (17th ed.) Citation

Lopez-Garcia, Pedro, John P. Gallagher, and Roberto Giacobazzi. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-31476-6.

MLA (9th ed.) Citation

Lopez-Garcia, Pedro, et al. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. 1st ed. 2023. Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-31476-6.