30th CAV 2018: Oxford, UK

Tools

Static Analysis

Theory and Security

SAT, SMT and Decision Procedures

Concurrency

CPS, Hardware, Industrial Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier