Repository | Directory | Profile
From obj to maude and beyond
2006
José Meseguer
in: Algebra, meaning, and computation, Dordrecht : Springer
Algebra, meaning, and computation
edited byKokichi FutatsugiJean-Pierre JouannaudJosé Meseguer
Dordrecht, Springer