Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-1904-01009
%A van Eekelen, Marko C. J. D.
%A Frumin, Daniil
%A Geuvers, Herman
%A Gondelman, Léon
%A Krebbers, Robbert
%A Schoolderman, Marc
%A Smetsers, Sjaak
%A Verbeek, Freek
%A Viguier, Benoît
%A Wiedijk, Freek
%D 2019
%J CoRR
%K dblp
%T A benchmark for C program verification.
%U http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-01009
%V abs/1904.01009
@article{journals/corr/abs-1904-01009,
added-at = {2019-04-24T00:00:00.000+0200},
author = {van Eekelen, Marko C. J. D. and Frumin, Daniil and Geuvers, Herman and Gondelman, Léon and Krebbers, Robbert and Schoolderman, Marc and Smetsers, Sjaak and Verbeek, Freek and Viguier, Benoît and Wiedijk, Freek},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fe06778bf72b74120313d1a04365d27e/dblp},
ee = {http://arxiv.org/abs/1904.01009},
interhash = {89251a4a29924f6bd643adbe63a36743},
intrahash = {fe06778bf72b74120313d1a04365d27e},
journal = {CoRR},
keywords = {dblp},
timestamp = {2019-09-27T09:01:35.000+0200},
title = {A benchmark for C program verification.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-01009},
volume = {abs/1904.01009},
year = 2019
}