Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)

M. Alpuente

•

F. Frechina

•

J. Sapiña

•

BALLIS, Demis

2014

conference object

DOI

10.1007/978-3-642-54624-2_12

Archivio

http://hdl.handle.net/11390/1038027

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84958523287

Diritti

metadata only access

Scopus© citazioni

3

Data di acquisizione
Jun 2, 2022