22nd ESOP@ETAPS 2019: Prague, Czech Republic

Program Verification

Language Design

Program Semantics

Types

Security and Incremental Computation

Concurrency and Distribution

Program Analysis and Automated Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics