Parameterized strategies specification in Maude
ISSN: 1611-3349, 0302-9743
ISBN: 9783030232191
Datum der Publikation: 2019
Ausgabe: 11563 LNCS
Seiten: 27-44
Art: Konferenz-Beitrag
ISSN: 1611-3349, 0302-9743
ISBN: 9783030232191
Datum der Publikation: 2019
Ausgabe: 11563 LNCS
Seiten: 27-44
Art: Konferenz-Beitrag