International workshop on astract state machines <10. ; 2003 ; Taormina>
Titolo
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003 : Taormina, Italy, march 2003 : proceedings / Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)