ผู้เขียน: German Vidal-Oriola

…

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 – co-located with LOPSTR 2008, the International …