Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Wolf Zimmermann Bernhard Thalheim Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Abstract State Machines Lecture Notes in Computer Science 3052 Springer 2004 3-540-22094-1 db/conf/asm/asm2004.html