@misc{indiciae2be23f0f2b09,
  title = {Static and Dynamic Verification of Relational Properties on Self-Composed C Code},
  author = {Lionel Blatter and Nikolai Kosmatov and Pascale Le Gall and Virgile Prevosto and Guillaume Petiot},
  year = {2018},
  url = {https://arxiv.org/abs/1801.06876},
  note = {Source identifier: 1801.06876}
}