Groves, Lindsay2012-10-092020-12-112012-10-092020-12-112009https://ir.wgtn.ac.nz/handle/123456789/600pdfen-NZSoftware EngineeringSWEN202: Software Engineering: Formal Foundations of Software EngineeringTextSWEN202SWEN 202examFormal Foundations of Software Engineering