FM 2006: Hamilton, Canada

Invited Talk

Interactive Verification

Invited Talk

Formal Modelling of Systems

Real Time

Industrial Experience

Specification and Refinement

Programming Languages

Algebra

Education

Formal Modelling of Systems

Formal Aspects of Java

Programming Languages

Model Checking

Industry Day: Abstracts of Invited Talks