DMCA

A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (2007)

Cached

Download Links

by Traian Florin Şerbănuţă , Grigore Rosu , José Meseguer
Venue:SOS
Citations:2 - 0 self