dblp: Software Language Engineering 2015

8th SLE 2015: Pittsburgh, PA, USA

SPARQL queries 

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