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

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Volume 1912 of Lecture Notes in Computer Science, Springer, 2000.

Conference: asmta2000

Editors

Yuri Gurevich

This author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in Google

Philipp W. Kutter

This author has not been identified. Look up 'Philipp W. Kutter' in Google

Martin Odersky

Identified as Martin Odersky

Lothar Thiele

This author has not been identified. Look up 'Lothar Thiele' in Google