30th LOPSTR 2020: Bologna, Italy

Refine list

showing all ?? records

Rewriting

Unification

Types

Verification

Model Checking and Probabilistic Programming

Program Analysis and Testing

Logics

a service of  Schloss Dagstuhl - Leibniz Center for Informatics