TY  - BOOK
AU  - International Workshop on Abstract State Machines 2003 (10
AU  - B५rger, E., ed
AU  - Gargantini, A., ed
AU  - Riccobene, E., ed
TI  - Abstract State Machines 2003. Advances in Theory and Practice: Proceedings
U1  - 629.8312 
PY  - 2003///
CY  - Italy
PB  - ASM
ER  -