TY  - RPRT
TI  - Methodology for automated analysis of high order language programs
AU  - Hsia, P.
PY  - 1976
UR  - https://ntrs.nasa.gov/citations/19760069630
ID  - 19760069630
ER  -