Software Security: A Formal Perspective - (Notes for a Talk)

FM(2012), pp. 1-5

Abstract

Research Areas