Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings (Springer, 2010)
Literaturangaben