Pearce, David2017-03-142021-03-242017-03-142021-03-242016https://ir.wgtn.ac.nz/handle/123456789/8622pdfen-NZSoftware EngineeringSWEN224: Software Engineering: Formal Foundations of ProgrammingTextSWEN224SWEN 224examFormal Foundations of Programming