![](/img/cover-not-exists.png)
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
Isabel Pita, Adrián RiescoVolume:
282
Year:
2012
Language:
english
Pages:
1
DOI:
10.1016/j.entcs.2011.12.006
File:
PDF, 902 KB
english, 2012