1st RET 2014: Karlskrona, Sweden

RET Challenges and Practices

Quality Requirements

Formal Languages and Models

a service of Schloss Dagstuhl - Leibniz Center for Informatics