"Verification: what works and what doesn't."

Francine Bacchini et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics