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