13th TASE 2019: Guilin, China

Refinement and Semantics for Real Time

Security

Applications/Case Study

Mechanized Verification

Semantics and Temporal Logic

Modeling and Verification

Logics, Complexity, Quantum

Software Engineering

Verification, Concurrency, Memory Models

Applications/Case Studies

a service of Schloss Dagstuhl - Leibniz Center for Informatics