ผู้เขียน: Zhendong Su

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 – co-located with LICS 2009, the 24th IEEE …