TY  - RPRT
TI  - Aspect-Oriented Monitoring of C Programs
AU  - Havelund, Klaus
AU  - VanWyk, Eric
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20110013196
ID  - 20110013196
ER  -