Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Lecture Notes in Computer Science, Band 6337)

Proceedings

von: Radhia Cousot · Matthieu Martel

Taschenbuch

EAN=ISBN-13: 978-3-642-15768-4

ISBN-10: 3-642-15768-8

Springer · 2010