Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings (Lecture Notes in Computer Science): 10th ... Diego, Ca, USA, June 11-13, 2003. Proceedings
von
Radhia Cousot
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-40325-8
ISBN-10: 3-540-40325-6
Springer
· 2003