학술논문
Safety enforcement via programmable strategies in Maude
Document Type
Article
Author
Source
In Journal of Logical and Algebraic Methods in Programming April 2023 132
Subject
Language
ISSN
2352-2208