@misc{indiciaeca40941a60ca,
  title = {A benchmark for C program verification},
  author = {Marko van Eekelen and Daniil Frumin and Herman Geuvers and Léon Gondelman and Robbert Krebbers and Marc Schoolderman and Sjaak Smetsers and Freek Verbeek and Benoît Viguier and Freek Wiedijk},
  year = {2019},
  url = {https://arxiv.org/abs/1904.01009},
  note = {Source identifier: 1904.01009}
}