The Rewriting Logic Semantics Project (2005)

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