A tool for testing data type implementations from Maude algebraic specifications
ISSN: 1571-0661
Año de publicación: 2012
Volumen: 282
Páginas: 61-71
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2012
Volumen: 282
Páginas: 61-71
Tipo: Aportación congreso