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

maintained by Schloss Dagstuhl LZI at University of Trier