by Tom Posted on 31 July 20159 January 2021 Dagstuhl Perspectives Workshop on Artifact Evaluation for Publications Read More
by Tom Posted on 9 February 201514 October 2017 Paper submitted to CAV 2015: “Dear CAV, We Need to Talk About Reproducibility” Read More