| |
| 2008 | ||
|---|---|---|
| 1 | EE | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske: CMV: automatic verification of complete mediation for java virtual machines. ASIACCS 2008: 100-111 |
| 1 | A. Prasad Sistla | [1] |
| 2 | V. N. Venkatakrishnan | [1] |
| 3 | Michelle Zhou | [1] |