| |
| * | 1993 | |
|---|---|---|
| 1 | EE | Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley: Report on the UCD Microcoded Viper Verification Project. HUG 1993: 239-252 |
| 1 | Tony Leung | [1] |
| 2 | Karl N. Levitt | [1] |
| 3 | E. Thomas Schubert | [1] |
| 4 | Phillip J. Windley | [1] |