10th MiSE@ICSE 2018: Gothenburg, Sweden

Refine list

showing all ?? records

Requirements

Synthesis and extraction

UML and applications

Evaluation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics