Abstract State Machines - Theory and Applications
Subtitle: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540445180