A tool for testing data type implementations from Maude algebraic specifications
ISSN: 1571-0661
Année de publication: 2012
Volumen: 282
Pages: 61-71
Type: Communication dans un congrès
ISSN: 1571-0661
Année de publication: 2012
Volumen: 282
Pages: 61-71
Type: Communication dans un congrès