ISoLA 2018: Limassol, Cyprus

A Broader View on Verification: From Static to Runtime and Back

Evaluating Tools for Software Verification

Statistical Model Checking

RERS 2018

Doctoral Symposium

a service of Schloss Dagstuhl - Leibniz Center for Informatics