Abstract State Machines - Theory and Applications: ...
Preview
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000
Proceedings Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele.
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, ...