22nd FASE@ETAPS 2019: Prague, Czech Republic

FASE Invited Talk

Software Verification I

Model-Driven Development and Model Transformation

Software Verification II

Software Evolution and Requirements Engineering

Specification, Design, and Implementation of Particular Classes of Systems

Software Testing

a service of Schloss Dagstuhl - Leibniz Center for Informatics