Strategies, model checking and branching-time properties in Maude
Aldizkaria:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Argitalpen urtea: 2021
Alea: 123
Mota: Artikulua