| |
| 1995 | ||
|---|---|---|
| 3 | EE | William R. Bevier, Richard M. Cohen, William D. Young: Connection policies and controlled interference. CSFW 1995: 167-176 |
| 1979 | ||
| 2 | EE | Donald I. Good, Richard M. Cohen, James Keeton-Williams: Principles of Proving Programs Correct in Gypsy. POPL 1979: 42-52 |
| 1978 | ||
| 1 | EE | Donald I. Good, Richard M. Cohen, Lawrence W. Hunter: A Report On The Development Of Gypsy. ACM Annual Conference (1) 1978: 116-122 |
| 1 | William R. Bevier | [3] |
| 2 | Donald I. Good | [1] [2] |
| 3 | Lawrence W. Hunter | [1] |
| 4 | James Keeton-Williams | [2] |
| 5 | William D. Young | [3] |