FM Workshops 2019: Porto, Portugal - Volume 2

NSAD 2019 - 8th Workshop on Numerical and Symbolic Abstract Domains

OpenCERT 2019 - 9th International Workshop on Open Community Approaches to Education, Research and Technology

Overture 2019 - 17th Overture Workshop

Refine 2019 - 19th Refinement Workshop

RPLA 2019 - Workshop on Reversibility in Programming, Languages, and Automata

SASB 2019 - 10th International Workshop on Static Analysis and Systems Biology

TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics