Model Checking Algol-Like Languages Using Game Semantics.

C.-H. Luke Ong Model Checking Algol-Like Languages Using Game Semantics. 33-36 2002 conf/fsttcs/2002 FSTTCS http://link.springer.de/link/service/series/0558/bibs/2556/25560033.htm db/conf/fsttcs/fsttcs2002.html#Ong02