4th TAP@TOOLS 2010: Málaga, Spain

Refine list

showing all ?? records

Invited Talks

Specifications from Testing

Testing Proofs

Test Generation Using Proof Techniques

Theorem Proving and Testing

Abstraction

a service of  Schloss Dagstuhl - Leibniz Center for Informatics