Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings - Radhia Cousot ((Lecture Notes in Computer Science))