Groves, Lindsay2012-10-092021-03-142012-10-092021-03-142009https://ir.wgtn.ac.nz/handle/123456789/1922pdfen-NZComputer ScienceCOMP202: Computer Science: Formal Methods of Computer ScienceTextCOMP202COMP 202examFormal Methods of Computer Science