Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday - Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Springer Nature Switzerland, 2023)
Keywords: Software Engineering; Computer Science Logic and Foundations of Programming; Software engineering; Computer science; Festschrift