| |
| 1997 | ||
|---|---|---|
| 2 | Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson: Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. Softw. Test., Verif. Reliab. 7(4): 201-227 (1997) | |
| 1995 | ||
| 1 | EE | Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson: MCF: a malicious code filter. Computers & Security 14(6): 541-566 (1995) |
| 1 | Karl N. Levitt | [1] [2] |
| 2 | Ronald A. Olsson | [1] [2] |