LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →