| |
| 1981 | ||
|---|---|---|
| 2 | Robert D. Braun, Donald D. Givone: A Generalized Algorithm for Constructing Checking Sequences. IEEE Trans. Computers 30(2): 141-144 (1981) | |
| 1979 | ||
| 1 | Robert D. Braun, Donald D. Givone: An Improved Algorithm for Deriving Checking Experiments. IEEE Trans. Computers 28(2): 153-156 (1979) | |
| 1 | Donald D. Givone | [1] [2] |