TY  - RPRT
TI  - Formal Control-centric Verification of Complex C Programs.
AU  - Bueno, Denis
PY  - 2016
UR  - https://www.osti.gov/biblio/1375581
ID  - 1375581
ER  -