×
  • Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings

    Egon Börger (auth.) Yuri Gurevich Philipp W. Kutter Martin Odersky Lothar Thiele (eds.)

Click on cover to enlarge.