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