2. IFM 2000: Dagstuhl Castle, Germany

Invited Talk

Linking and Extending Notations

Methodology

Foundation of One Formalism by Another

Invited Talk

Semantics

Verification and Validation