FM 2008: Turku, Finland

Invited Talks

Programming Language Analysis

Verification

Real-Time and Concurrency

Grand Chellenge Problems

FM Practice

Runtime Moitoring and Analysis

Communication

Constraint Analysis

Design

Industry Day