by Tom Posted on 31 July 201519 June 2026 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