Non-Deterministic Games and Program Analysis: An Application to Security.

Pasquale Malacaria, Chris Hankin

Browse the full LICS paper archive.