Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings Gurevich Yuri Heftet / 2000 / Engelsk
