Collaborative Verification and Testing with Explicit Assumptions.

Maria Christakis, Peter Mller, Valentin Wstholz

Browse the full FM paper archive.