Nickson, Ray2012-10-092021-03-142012-10-092021-03-142006https://ir.wgtn.ac.nz/handle/123456789/1919pdfen-NZComputer ScienceCOMP202: Computer Science: Formal Methods of Computer ScienceTextCOMP202COMP 202examFormal Methods of Computer Science