Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
-
häftad
,
Engelska, 2023