TY  - RPRT
TI  - Lightweight runtime checking of C programs with RTC
AU  - Milewicz, Reed
AU  - Vanka, Rajesh
AU  - Tuck, James
AU  - Quinlan, Daniel
AU  - Pirkelbauer, Peter
PY  - 2016
DO  - 10.1016/j.cl.2016.01.001
UR  - https://www.osti.gov/biblio/1477830
ID  - 1477830
ER  -