11. ICFEM 2009: Rio de Janeiro, Brazil

Invited Papers

Testing I

Protocols

Testing II

Verification

Model Checking I

Object-Orientation

Model checking II

Event-B

Compilation

Process Algebra

Refinement

Algebraic Specifications

Real-Time Systems