Generating Proof Obligation to Verify Object-Z Specification.

Zhicheng Wen, Huaikou Miao, Hongwei Zeng

Browse the full ICSEA paper archive.