"Cost-effective safety and fault localization using distributed temporal ..."

Brett H. Meyer et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics