William G. Wood

Publication Activity (10 Years)

Years Active: 1989-2000
Publications (10 Years): 0

Publications

William G. Wood
Government product lines. SPLC (2000)
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)
William G. Wood
A Specification of the Cat and Mouse Problem. REX Workshop (1991)
William G. Wood
Application of formal methods to system and software specification. Formal Methods in Software Development (1990)
William G. Wood
Temporal Logic Case Study. Automatic Verification Methods for Finite State Systems (1989)