A rewriting logic approach to operational semantics
Traian Florin Şerbănuţă, Grigore Roşu, José MeseguerVolume:
207
Year:
2009
Language:
english
Pages:
36
DOI:
10.1016/j.ic.2008.03.026
File:
PDF, 421 KB
english, 2009