27th CAV 2015: San Francisco, CA, USA

SMT Techniques and Applications

HW Verification

Synthesis

Termination

Concurrency

a service of Schloss Dagstuhl - Leibniz Center for Informatics