Malik, Petra2012-10-092021-03-112012-10-092021-03-112010https://ir.wgtn.ac.nz/handle/123456789/1526pdfen-NZSoftware EngineeringSWEN224: Software Engineering: Formal Foundations of ProgrammingTextSWEN224SWEN 224examFormal Foundations of Programming