Wei Gao2019-09-022021-03-252019-09-022021-03-252019https://ir.wgtn.ac.nz/handle/123456789/10274pdfen-NZInformation SystemsINFO377: Information Systems: System VerificationTextINFO377examINFO 377System Verification