1
Static analysis [E-Book] : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /