Cost Analysis of Games, Using Program Logic.

Carroll Morgan Annabelle McIver Cost Analysis of Games, Using Program Logic. 351- 2001 conf/apsec/2001 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991501 db/conf/apsec/apsec2001.html#MorganM01