Backward Trace Slicing for Rewriting Logic Theories
ALPUENTE M
•
BALLIS D
•
ESPERT J
•
ROMERO ALLUE', Diego
2011
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
DOI
WOS
Archivio
Diritti
metadata only access