Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings / edited by Radhia Cousot, Matthieu Martel.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6337Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642157691
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.