10th ICFEM 2008: Kitakyushu-City, Japan

Invited Talks

Specification and Verification

Testing

Verification 1

Model Checking and Analysis

Verification 2

Tools

Application of Formal Methods

Semantics

a service of Schloss Dagstuhl - Leibniz Center for Informatics