Nickson, Ray2012-10-162021-03-222012-10-162021-03-222005https://ir.wgtn.ac.nz/handle/123456789/5504pdfen-NZComputer ScienceCOMP202: Computer Science: Formal Methods of Computer ScienceTextCOMP202COMP 202examFormal Methods of Computer Science