Download Zb 2000 Formal Specification And Development In Z And B First International Conference Of B And Z Users York Uk August 29 September 2 2000 Proceedings