Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
- Durán, F.
- Eker, S.
- Escobar, S.
- Martí-Oliet, N.
- Meseguer, J.
- Rubio, R.
- Talcott, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031107689
Año de publicación: 2022
Volumen: 13385 LNAI
Páginas: 529-540
Tipo: Aportación congreso