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