Next:
Appropriate notions of dependence
Up:
The Bandera Tools for
Previous:
The BUI Pattern Manager
The Bandera Slicer
Forthcoming
Appropriate notions of dependence for concurrent Java
How slicing criteria are generated
Using the dependency browser
Roby Joehanes
Wed Mar 7 18:30:51 CST 2001