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

maintained by Schloss Dagstuhl LZI, founded at University of Trier