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

maintained by Schloss Dagstuhl LZI at University of Trier