Using CafeOBJ to Implement a Reduction S
β
AndrΓ© Luis Silva; Manoel Messias Menezes; Leila Silva
π
Article
π
2004
π
Elsevier Science
π
English
β 296 KB