TY  - CONF
AU  - Black, Paul
AU  - Windley, P
C2  - Proceedings of the Thirty-First Annual Hawaii International Conference on Systems Science, Kohala Coast, Hawaii, January 6-9, 1998
DA  - 1998-01-01
LA  - en
M1  - 3
PB  - Proceedings of the Thirty-First Annual Hawaii International Conference on Systems Science, Kohala Coast, Hawaii, January 6-9, 1998
PY  - 1998
TI  - Formal Verification of Secure Programs in the Presence of Side Effects
ER  -