A tool for testing data type implementations from Maude algebraic specifications
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2012
Volum: 282
Pàgines: 61-71
Tipus: Aportació congrés