Strategies, model checking and branching-time properties in Maude
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Año de publicación: 2021
Volumen: 123
Tipo: Artículo