5th IFM 2005: Eindhoven, The Netherlands

Refine list

showing all ?? records

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