TY  - RPRT
TI  - Monitoring Properties of Programs
AU  - Fernandez, Francisco G.
AU  - Gates, Ann Q.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19970028696
ID  - 19970028696
ER  -