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

maintained by Schloss Dagstuhl LZI at University of Trier