9. Haifa Verification Conference 2013: Haifa, Israel

Refine list

showing all ?? records

Session 1: SAT and SMT-Based Verification

Session 2: Software Testing I

Session 3: Software Testing II

Session 4: Supporting Dynamic Verification

Session 5: Specification and Coverage

Keynote Presentation

Session 6: Abstraction

Session 7: Model Representation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics