"CSAR Benchmark Exercise 2013: Evaluation of Results from a Combined ..."

Richard D. Smith et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics