TY - JOUR AU - Paul Black AU - Elizabeth Fong C2 - ADA Letters DA - 2008-04-01 LA - en M1 - XXVIII PB - ADA Letters PY - 2008 TI - Proceedings of Static Analysis Summit II ER -