Automatic verification of concurrent systems using a formula-based compositional approach Antonella Santone Original article Pages: 531 - 564
On the non-approximability of points-to analysis Venkatesan T. ChakaravarthySusan Horwitz Original article Pages: 587 - 598