Malik, Petra2012-10-092021-03-162012-10-092021-03-162011https://ir.wgtn.ac.nz/handle/123456789/2519pdfen-NZSoftware EngineeringSWEN421: Software Engineering: Formal Software Engineering 1TextSWEN421SWEN 421examFormal Software Engineering 1