Ausgabe 8/2002
Inhalt (3 Artikel)
Original article
On the non-approximability of points-to analysis
Venkatesan T. Chakaravarthy, Susan Horwitz
Original article
Automatic verification of concurrent systems using a formula-based compositional approach
Antonella Santone