10. Haifa Verification Conference 2014: Haifa, Israel

Schloss Dagstuhl LZI