ZB 2003 : Formal Specification and Development in Z and B
Subtitle: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540448808
Subjects: Z (computer program language)