| |
| 1994 | ||
|---|---|---|
| 2 | EE | William E. Howden, Bruce Wieand: QDA-A Method for Systematic Informal Program Analysis. IEEE Trans. Software Eng. 20(6): 445-462 (1994) |
| 1991 | ||
| 1 | EE | William E. Howden, David Nesbitt, Cheron Vail, Bruce Wieand: Verification of complex systems using incremental operational specifications. Inf. Sci. 57-58: 427-450 (1991) |
| 1 | William E. Howden | [1] [2] |
| 2 | David Nesbitt | [1] |
| 3 | Cheron Vail | [1] |