12. ICFEM 2010: Shanghai, China

Invited Talks

Theorem Proving and Decision Procedures

Web Services and Workflow

Verification I

Applications of Formal Methods

Verification II

Probability and Concurrency

Program Analysis

Model Checking

Object Orientation and Model Driven Engineering

Specification and Verification