1. RET 2014: Karlskrona, Sweden

RET Challenges and Practices

Quality Requirements

Formal Languages and Models

maintained by Schloss Dagstuhl LZI at University of Trier