7. Haifa Verification Conference 2011: Haifa, Israel

Invited Talks

Synthesis

Formal Verification

Software Quality

Testing and Coverage

Experience and Tools

Posters - Student Event

a service of Schloss Dagstuhl - Leibniz Center for Informatics