The Rewriting Logic Semantics Project (2005)

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