10th MiSE@ICSE 2018: Gothenburg, Sweden

Refine list

showing all ?? records

Requirements

Synthesis and extraction

UML and applications

Evaluation