Login / Signup

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Publications

2023
volume 13160, 2023