Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

by Wan Fokkink , Chris Verhoef
Venue:Proceedings 2nd Conference on Fundamental Approaches to Software Engineering
Citations:9 - 5 self