Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Knowing When to Ask: Artifact. 1.0, oct 2020. [doi]
@software{RouvoetAPKV20-artifact,
title = {Knowing When to Ask: Artifact},
author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
year = {2020},
month = {oct},
doi = {10.5281/zenodo.4068065},
url = {https://doi.org/10.5281/zenodo.4068065},
researchr = {https://researchr.org/publication/RouvoetAPKV20-artifact},
cites = {0},
citedby = {0},
version = {1.0},
}