20th SBMF 2017: Recife, Brazil

Invited Talks

Formal Methods Integration and Experience Reports

Model Checking

Refinement and Verification

Semantics and Languages

a service of Schloss Dagstuhl - Leibniz Center for Informatics