Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B

• Authors:

• Didier Bert;Jonathan P. Bowen;Martin C. Henson;Ken Robinson

• Affiliations:

• -;-;-;-

• Venue:
• ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
• Year:
• 2002