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