R. Sekar
R. Sekar, I. V. Ramakrishnan, and P. Mishra.
On the power and limitations of strictness analysis.
Journal of the ACM
, 44(3):505-525, May 1997.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database