Secure Programming via Safety Games

William Harris. Secure Programming via Safety Games. TinyToCS, 1, 2012. [doi]

Abstract

Abstract is missing.