@misc{indiciae10a5e2a0cce5,
  title = {Ensuring Correctness at the Application Level: a Software Framework Approach},
  author = {Eloisa Bentivegna and Gabrielle Allen and Oleg Korobkin and Erik Schnetter},
  year = {2011},
  url = {https://arxiv.org/abs/1101.3161},
  note = {Source identifier: 1101.3161}
}