Programming and symbolic computation in Maude
Article in Journal of Logical and Algebraic Methods in Programming (January 2020)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Journal of Logical and Algebraic Methods in Programming (January 2020)