Efficient relational calculation for software analysis (0)

by D Beyer, A Noack, C Lewerentz
Venue:IEEE TSE