| |
| 1997 | ||
|---|---|---|
| 4 | EE | Raymond J. Hookway, Mark A. Herdeg: DIGITAL FX!32: Combining Emulation and Binary Translation. Digital Technical Journal 9(1): (1997) |
| 1994 | ||
| 3 | EE | George W. Ernst, Raymond J. Hookway, William F. Ogden: Modular Verification of Data Abstractions with Shared Realizations. IEEE Trans. Software Eng. 20(4): 288-307 (1994) |
| 1991 | ||
| 2 | George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden: Modular Verification of Ada Generics. Comput. Lang. 16(3/4): 259-280 (1991) | |
| 1976 | ||
| 1 | George W. Ernst, Raymond J. Hookway: The Use of Higher Order Logic in Program Verification. IEEE Trans. Computers 25(8): 844-851 (1976) | |
| 1 | George W. Ernst | [1] [2] [3] |
| 2 | Mark A. Herdeg | [4] |
| 3 | James A. Menegay | [2] |
| 4 | William F. Ogden | [2] [3] |