👤

Pedro López García

1 book

Books by Pedro López García

Analysis, Verification and Tra
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
2023