Behaviour-Based Cheat Detection in Multiplayer Games with Event-B.

HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser

Browse the full IFM paper archive.