3. IFM 2002: Turku, Finland

Invited Talk

Integration, Simulation, Animation

From Specification to Verfication

Statecharts and B: Integration and Translation

Invited Talk

Model Checkers and Theorem Provers

Links between Object-Z and CSP

Invited Talk

Combining Graphical and Formal Approaches

Refinement and Proof

maintained by Schloss Dagstuhl LZI at University of Trier