Using Conditional Trace Slicing for Improving Maude Programs
M. Alpuente
•
F. Frechina
•
D. Romero
•
BALLIS, Demis
2014
Periodico
SCIENCE OF COMPUTER PROGRAMMING
WOS
Archivio
Diritti
metadata only access