10. 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