5. ASM 1998: Magdeburg, Germany

New ASM Concepts

Compiler Correctness and Formal Semantics

Analysis and Verification of Protocols

ASM Tool Support

maintained by Schloss Dagstuhl LZI at University of Trier