@misc{indiciae534df9c36d0b,
  title = {Verifying quantitative reliability for programs that execute on unreliable hardware},
  author = {Carbin, Michael and Misailovic, Sasa and Rinard, Martin C.},
  year = {2016},
  doi = {10.1145/2958738},
  url = {https://www.osti.gov/biblio/1558084},
  note = {Source identifier: 1558084}
}