28th ESOP@ETAPS 2019: Prague, Czech Republic

Refine list

showing all ?? records

Program Verification

Language Design

Program Semantics

Types

Security and Incremental Computation

Concurrency and Distribution

Program Analysis and Automated Verification