A tool for testing data type implementations from Maude algebraic specifications
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2012
Alea: 282
Orrialdeak: 61-71
Mota: Biltzar ekarpena