Groves, Lindsay2014-02-132021-03-232014-02-132021-03-232013https://ir.wgtn.ac.nz/handle/123456789/6620pdfen-NZSoftware EngineeringSWEN224: Software Engineering: Formal Foundations of ProgrammingTextSWEN224SWEN 224examFormal Foundations of Programming