Julienne: a Trace Slicer for Conditional Rewrite Theories
ALPUENTE M
•
FRECHINA F
•
ROMERO D.
•
BALLIS, Demis
2012
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
metadata only access