학술논문
The Maude strategy language
Document Type
Article
Source
In Journal of Logical and Algebraic Methods in Programming August 2023 134
Subject
Language
ISSN
2352-2208