Static analysis by International Static Analysis Symposium (10th 2003 San Diego, Calif.) | Menrva Books