ASM 2003: Taormina, Italy

Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589 Springer 2003, ISBN 3-540-00624-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Research Papers

Extended Abstracts