TY  - RPRT
TI  - Improving Robustness via Disjunctive Statements in Imperative Programming
AU  - Keehang Kwon
AU  - Sungwoo Hur
AU  - Mi-Young Park
PY  - 2012
DO  - 10.1587/transinf.e96.d.2036
UR  - https://arxiv.org/abs/1212.6844
ID  - 1212.6844
ER  -