10th MiSE@ICSE 2018: Gothenburg, Sweden

Requirements

Synthesis and extraction

UML and applications

Evaluation

maintained by Schloss Dagstuhl LZI at University of Trier