On the power and limitation of strictness analysis (1997)

by R C Sekar, P Mishra, I V Ramakrishnan
Venue:In