17. FASE 2014: Grenoble, France (Part of ETAPS 2014)

Refine list

showing all ?? records

Invited Paper

Modelling and Model Transformation

Time and Performance

Static Analysis

Scenario-Based Specification

Software Verification

Analysis and Repair

Verification and Validation

Graph Transformation

Debugging and Testing

a service of  Schloss Dagstuhl - Leibniz Center for Informatics