1. ISARCS 2010: Prague, Czech Republic

Design

Verification and Validation

Domain-Specific Results

Standards

a service of Schloss Dagstuhl - Leibniz Center for Informatics