ZB 2000 : Formal Specification and Development in Z and B
Subtitle: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540445258