"Collaborative Verification and Testing with Explicit Assumptions."

Maria Christakis, Peter Müller, Valentin Wüstholz (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics