dblp.uni-trier.de www.uni-trier.de

5. ASM 1998: Magdeburg, Germany

Uwe Glässer, Peter H. Schmitt (Eds.): Fifth International Workshop on Abstract State Machines, Proceedings, Magdeburg, Germany, September 21-22, GI Jahrestagung

New ASM Concepts

Compiler Correctness and Formal Semantics

Analysis and Verification of Protocols

ASM Tool Support

Copyright © Sat May 16 22:58:42 2009 by Michael Ley (ley@uni-trier.de)