Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings - Cousot, Radhia; Cousot, Radhia (Springer Berlin Heidelberg : Imprint: Springer, 2003)