2nd TASE 2008: Nanjing, China

Refine list

showing all ?? records

Keynote Speech

Model Checking

Program Analysis and Type Theory

Software Architecture, Framework, and Process

Short Paper 1

Service-Oriented Computing

Verification and Validation

Software Testing

Short Paper 2

Logic Systems and Programming

Specification and Requirements

a service of  Schloss Dagstuhl - Leibniz Center for Informatics