27th ESOP 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Refine list

showing all ?? records

Language Design

Probabilistic Programming

Types and Effects

Concurrency

Security

Program Verification

Program Analysis and Automated Verification

Session Types and Concurrency

Concurrency and Distribution

Compiler Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics