22nd FASE@ETAPS 2019: Prague, Czech Republic

Refine list

showing all ?? records

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