8th SLE 2015: Pittsburgh, PA, USA

Refine list

showing all ?? records

Language Development and Evaluation

Model and Program Transformation

Tools 1

Fomal Modeling and Language Validation

Model Execution and Verification

Tools 2

a service of  Schloss Dagstuhl - Leibniz Center for Informatics