14. ICFEM 2012: Kyoto, Japan

Invited Speech

Concurrency

Applications of Formal Methods to New Areas

Quantity and Probability

Formal Verification

Modeling and Development Methodology

Temporal Logics

Abstraction and Refinement

Tools

Testing and Runtime Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics