| |
| 2000 | ||
|---|---|---|
| 4 | William G. Wood: Government product lines. SPLC 2000: 183-192 | |
| 1995 | ||
| 3 | Alan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood: Assessing the Quality of Large, Software-Intensive Systems: A Case Study. ESEC 1995: 384-404 | |
| 1991 | ||
| 2 | William G. Wood: A Specification of the Cat and Mouse Problem. REX Workshop 1991: 676-686 | |
| 1989 | ||
| 1 | William G. Wood: Temporal Logic Case Study. Automatic Verification Methods for Finite State Systems 1989: 257-263 | |
| 1 | Alan W. Brown | [3] |
| 2 | David J. Carney | [3] |
| 3 | Paul C. Clements | [3] |
| 4 | B. Craig Meyers | [3] |
| 5 | Dennis B. Smith | [3] |
| 6 | Nelson H. Weiderman | [3] |