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