@misc{indiciae28faf8e8a52d,
  title = {Improving Robustness via Disjunctive Statements in Imperative Programming},
  author = {Keehang Kwon and Sungwoo Hur and Mi-Young Park},
  year = {2012},
  doi = {10.1587/transinf.e96.d.2036},
  url = {https://arxiv.org/abs/1212.6844},
  note = {Source identifier: 1212.6844}
}