The Rewriting Logic Semantics Project (2005)

Cached

Download Links

by José Meseguer , Grigore Rosu
Venue: SOS 2005 PRELIMINARY VERSION
Citations:39 - 11 self