Efficient Relational Calculation for Software Analysis (0)

by D Beyer, A Noack, C Lewerentz
Venue:IEEE Transactions on Software Engineering,31(2):137–149, February2005