Static Analysis of Information Release in Interactive Programs

Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou. Static Analysis of Information Release in Interactive Programs. ECEASST, 35, 2010. [doi]

Abstract

Abstract is missing.