Abstract State Machines, B and Z
Subtitle: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Publisher: Springer London, Limited
Published: 2008
Language: eng
Number of pages: 384
ISBN-13: 9783540876038