12th ICFEM 2010: Shanghai, China

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics