Generating Proof Obligation to Verify Object-Z Specification | IEEE Conference Publication | IEEE Xplore