26th TACAS@ETAPS 2020: Dublin, Ireland

Bisimulation

Verification and Efficiency

Logic and Proof

Tools and Case Studies

Games and Automata

SV-COMP 2020

a service of Schloss Dagstuhl - Leibniz Center for Informatics