Static Analysis of Information Release in Interactive Programs
Adedayo O. Adetoye and Nikolaos Papanikolaou
ISSN
1863−2122
Journal
Electronic Communications of the EASST
Note
Automated Verification of Critical Systems (AVoCS)
Volume
35
Year
2010
Adedayo O. Adetoye and Nikolaos Papanikolaou