FMICS-AVoCS 2016: Pisa, Italy

Invited Talk

Automated Verification Techniques

Model-Based System Analysis

Applications and Case Studies

maintained by Schloss Dagstuhl LZI at University of Trier