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

maintained by Schloss Dagstuhl LZI at University of Trier