9. FMOODS 2007: Paphos, Cyprus

Refine list

showing all ?? records

Invited Talks

Model Checking

Rewriting Logic

Components and Services

Algebraic Calculi

Specification, Verfication and Refinenment

Quality of Service

a service of  Schloss Dagstuhl - Leibniz Center for Informatics