5th IFM 2005: Eindhoven, The Netherlands

Invited Papers

Components

State/Event-Based Verification

System Development

Applications of B

Tool Support

Non-software Domains

Semantics

UML and Statecharts

a service of Schloss Dagstuhl - Leibniz Center for Informatics