Title: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Subjects: Computer programming, Computer software, development