9. FMOODS 2007: Paphos, Cyprus

Invited Talks

Model Checking

Rewriting Logic

Components and Services

Algebraic Calculi

Specification, Verfication and Refinenment

Quality of Service