%0
Generic
%T
A rewriting logic approach to operational semantics
%A
Şerbănuţă, Traian Florin
%A
Roşu, Grigore
%A
Meseguer, José
%I
Elsevier BV
%@
0890-5401
%D
2009
%C
Elsevier BV
Download citation