Reflection in Rewriting Logic and its Applications in the Maude Language (1997)

Cached

Download Links

by Manuel Clavel , José Meseguer
Venue:In IMSA'97, pages 128--139. Information-Technology Promotion Agency
Citations:1 - 1 self