Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

MLA

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. Cham: Springer, 2023.

APA

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. Cham: Springer.

Chicago

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. Cham: Springer, 2023.