Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings

Egon Börger Angelo Gargantini Elvinia Riccobene Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Abstract State Machines Lecture Notes in Computer Science 2589 Springer 2003 3-540-00624-9 db/conf/asm/asm2003.html