5. ASM 1998: Magdeburg, Germany

New ASM Concepts

Compiler Correctness and Formal Semantics

Analysis and Verification of Protocols

ASM Tool Support

a service of Schloss Dagstuhl - Leibniz Center for Informatics