A tool for testing data type implementations from Maude algebraic specifications
ISSN: 1571-0661
Datum der Publikation: 2012
Ausgabe: 282
Seiten: 61-71
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 2012
Ausgabe: 282
Seiten: 61-71
Art: Konferenz-Beitrag