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

Authors:
Jonathan P. Bowen;Steve Dunne;Andy Galloway;Steve King
Affiliations:
-;-;-;-
Venue:
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Year:
2000

Citing 0
Cited 3

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the purse: finite sequence numbers, and the tower pattern

FM'05 Proceedings of the 2005 international conference on Formal Methods
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05

Quantified Score

Hi-index	0.00

Visualization

Abstract