Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Details
- OL Work ID
- OL35712858W
Subjects
Computer programmingComputer software, development