next up previous contents
Next: The Bandera Abstraction Tools Up: The Bandera Slicer Previous: How slicing criteria are

Using the dependency browser


Roby Joehanes
Wed Mar 7 18:30:51 CST 2001