Cost Analysis of Games, Using Program Logic.

Carroll Morgan, Annabelle McIver

Browse the full APSEC paper archive.