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