8. SLE 2015: Pittsburgh, PA, USA

Language Development and Evaluation

Model and Program Transformation

Tools 1

Fomal Modeling and Language Validation

Model Execution and Verification

Tools 2

maintained by Schloss Dagstuhl LZI at University of Trier