TY  - RPRT
TI  - A Scalable Nonuniform Pointer Analysis for Embedded Program
AU  - Venet, Arnaud
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040120941
ID  - 20040120941
ER  -